Nov 2005
Composing constraint solvers
An account of the design and implementation of OpenSolver, an abstract branch-and-propagate tree search engine that supports a wide range of relevant solver configurations, and of many experiments that were performed to evaluate the approach.
P. Zoeteweij
· 79 citations
· ⚡1