In constraint satisfaction, a general rule is to tackle the hardest part of a search problem first. In this paper, we introduce
a parameter (τ) that measures the constrainedness of a search problem. This parameter represents the probability of a problem being feasible.
A value of τ = 0 corresponds to an over-constrained problem and no states are expected to be solutions. A value of τ = 1 corresponds to an under-constrained problem and every state is a solution. This parameter can also be used in heuristics
to guide search. To achieve this parameter, a simple random or systematic sampling is carried out to compute the tightnesses
of each constraint. New heuristics are developed to classify the constraints from the tightest constraint to the loosest constraint
and to remove redundant constraints in constraint satisfaction problems. These heuristics may accelerate the search due to
inconsistencies can be found earlier and the absence of such redundant constraints eliminate unnecessary checking and save
storage space.
Keywords Constraint Satisfaction Problems - constrainedness - heuristics
This work has been partially supported by the grant DPI2001-2094-C03-03 from the Spanish Government.