Local consistency as a reduction between constraint satisfaction problems.
Victor DalmauJakub OprsalPublished in: CoRR (2023)
Keyphrases
- constraint satisfaction problems
- constraint networks
- constraint satisfaction
- constraint problems
- global constraints
- path consistency
- weighted constraint satisfaction
- tractable subclasses
- maintaining arc consistency
- disjunctive constraints
- constraint programming
- constraint propagation
- consistency checking
- search space
- combinatorial problems
- np complete
- binary constraints
- non binary
- arc consistency
- soft constraints
- qualitative spatial and temporal reasoning
- product configuration
- np hard
- forward checking
- constraint solvers
- sat problem
- computational problems
- search algorithm
- constraint optimization
- constraint graph
- finite domain
- global consistency
- constraint solver
- optimal solution