Picoso - A Parallel Interval Constraint Solver.
Natalia KalinnikTobias SchubertErika ÁbrahámRalf WimmerBernd BeckerPublished in: PDPTA (2009)
Keyphrases
- constraint solver
- constraint solving
- real numbers
- constraint programming
- linear constraints
- constraint propagation
- constraint satisfaction problems
- constraint satisfaction
- arc consistency algorithm
- constraint logic programming
- constraint solvers
- knowledge base
- reinforcement learning
- sat solvers
- combinatorial search