Abstract
The past decade has witnessed a significant increase in the number of constraint solving systems deployed for solving constraint satisfaction problems (CSP).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
Visit the competition site for links to each of the solvers.
- 2.
- 3.
- 4.
- 5.
- 6.
- 7.
Unfortunately, the current datasets available for the CP community do not allow us to make simulations with thousands of instances.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2014 Atlantis Press and the authors
About this chapter
Cite this chapter
Mauro, J. (2014). A Classification-Based Approach to Manage a Solver Portfolio. In: Constraints Meet Concurrency. Atlantis Studies in Computing, vol 5. Atlantis Press, Paris. https://doi.org/10.2991/978-94-6239-067-6_8
Download citation
DOI: https://doi.org/10.2991/978-94-6239-067-6_8
Published:
Publisher Name: Atlantis Press, Paris
Print ISBN: 978-94-6239-066-9
Online ISBN: 978-94-6239-067-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)