2011/10/28 by Ian P. Gent, Christopher Jefferson, Chris Jefferson +6
Computer Science · #AI-based Problem Solving and Planning #Artificial Intelligence (cs.AI) #Constraint Satisfaction and Optimization #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #cs.AI
paper · pdf · doi:10.48550/arxiv.1110.6290
arxiv created 2011/10/28 · openalex publication_date 2011/10/28 · arxiv updated 2011/10/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and modification have been ad-hoc and limited. We present a system that transforms a description of the components and the characteristics of the target constraint solver into a constraint problem. Solving this problem yields the description of a valid solver. Our approach represents a significant step towards the automated design and synthesis of constraint solvers that are specialised for individual constraint problem classes or instances.