Selective relaxation for constraint satisfaction problems.

Eugene C. Freuder Richard J. Wallace

Published in: ICTAI (1991)

Keyphrases

constraint satisfaction problems
constraint satisfaction
constraint propagation
constraint programming
search space
np complete
computational problems
non binary

constraint networks
objective function
soft constraints
np hard
constraint solving
global constraints
combinatorial problems
tractable subclasses

finding optimal solutions
constraint optimization
constraint solver
finite domain
dynamic constraint satisfaction problems
solving constraint satisfaction problems
tractable classes
constraint graph

constraint problems
symmetry breaking
decomposition methods
sat problem
temporal constraints
traveling salesman problem
description logics