A Component-Based Parallel Constraint Solver.
Peter ZoeteweijFarhad ArbabPublished in: COORDINATION (2004)
Keyphrases
- constraint solver
- constraint solving
- linear constraints
- constraint programming
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- real numbers
- constraint logic programming
- sat solvers
- search tree
- arc consistency algorithm
- combinatorial search
- information retrieval
- orders of magnitude
- expert systems
- search algorithm