2010/01/31 by Lars Kotthoff, Kotthoff, Lars
Computer Science · #Constraint Satisfaction and Optimization #Model-Driven Software Engineering Techniques #Advanced Database Systems and Queries
paper · pdf · doi:10.48550/arxiv.1002.0136
This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives preliminary experimental results showing the feasibility and effectiveness of the approach.