The Boolean Constraint Solver of SWI-Prolog (System Description).
Markus TriskaPublished in: FLOPS (2016)
Keyphrases
- constraint solver
- constraint logic programming
- constraint solving
- constraint programming
- linear constraints
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- high level
- expert systems
- logic programming
- sat solvers
- real numbers
- knowledge representation
- programming language
- arc consistency algorithm
- information retrieval
- path consistency
- global constraints
- state space
- finite domain