Basic Operators for Solving Constraints via Collaboration of Solvers.
Carlos CastroÉric MonfroyPublished in: AISC (2000)
Keyphrases
- constraint problems
- pseudo boolean
- linear arithmetic constraints
- constraint solvers
- sat encodings
- constrained problems
- global constraints
- constraint satisfaction
- constraint solver
- constraint satisfaction problems
- reducing the search space
- combinatorial problems
- integer linear programming
- constraint programming
- constraint solving
- linear programming problems
- combinatorial optimization
- sat solvers
- randomly generated
- search heuristics
- constrained optimization
- evolutionary algorithm
- eigenvalue problems
- backtracking algorithm
- object types
- linear constraints
- exact solution
- lagrange multipliers
- sat instances