Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract)
Hubert ComonRobert NieuwenhuisAlbert RubioPublished in: LICS (1995)
Keyphrases
- extended abstract
- constraint solving
- constraint propagation
- constraint satisfaction problems
- arc consistency
- constraint logic programming
- finite domain
- constraint satisfaction
- constraint solver
- constraint programming
- symbolic representation
- np complete
- theoretical framework
- image sequences
- computational complexity
- search space