Explanations to Understand the Trace of a Finite Domain Constraint Solver.
Gérard FerrandWilly LesaintAlexandre TessierPublished in: WLPE (2004)
Keyphrases
- constraint solver
- finite domain
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction problems
- linear constraints
- constraint satisfaction
- constraint logic programming
- sat solvers
- satisfiability problem
- real numbers
- search space
- temporal constraints
- path consistency
- np complete
- special case