Towards an Open Finite Domain Constraint Solver.
Mats CarlssonBjörn CarlsonGreger OttossonPublished in: CP (1996)
Keyphrases
- constraint solver
- finite domain
- constraint solving
- constraint programming
- constraint propagation
- constraint satisfaction problems
- linear constraints
- constraint logic programming
- constraint satisfaction
- real numbers
- sat solvers
- answer set programming
- bounded treewidth
- state variables
- arc consistency
- machine learning
- satisfiability problem
- convex optimization
- contextual information
- special case
- search space