Proceedings of the 2018 XCSP3 Competition
Lecoutre, Christophe, Roussel, Olivier
–arXiv.org Artificial Intelligence
Choco solver is a Free Open-Source Java library dedicated to Constraint Programming. The user models its problem in a declarative way by stating the set of constraints that need to be satisfied in every solution. Then, the problem is solved by alternating constraint filtering algorithms with a search mechanism.
arXiv.org Artificial Intelligence
Dec-17-2018
- Country:
- Asia > Middle East
- Saudi Arabia (0.14)
- Europe > France
- Provence-Alpes-Côte d'Azur (0.14)
- North America > United States
- California > San Francisco County
- San Francisco (0.14)
- Massachusetts (0.14)
- California > San Francisco County
- Asia > Middle East
- Genre:
- Research Report (1.00)
- Industry:
- Leisure & Entertainment > Sports (1.00)
- Technology:
- Information Technology
- Artificial Intelligence
- Machine Learning (1.00)
- Natural Language (1.00)
- Representation & Reasoning
- Constraint-Based Reasoning (1.00)
- Optimization (1.00)
- Search (1.00)
- Information Management (1.00)
- Software > Programming Languages (1.00)
- Software Engineering (0.92)
- Artificial Intelligence
- Information Technology