Some Remarks on Boolean Constraint Propagation.
Krzysztof R. AptPublished in: New Trends in Constraints (1999)
Keyphrases
- constraint propagation
- constraint reasoning
- constraint programming
- constraint satisfaction problems
- constraint satisfaction
- temporal constraints
- systematic search
- boolean functions
- arc consistency
- constraint solving
- interval arithmetic
- search space
- backtracking algorithms
- soft constraints
- tree search
- finite domain
- constraint solver
- constraint logic programming
- path consistency
- constrained problems
- linear programming
- quantifier elimination
- evolutionary algorithm
- constraint graph
- np complete