Output details
11 - Computer Science and Informatics
University of St Andrews
Output title
An Automated Approach to Generating Efficient Constraint Solvers
Type
E - Conference contribution
Name of conference/published proceedings
2012 34th international conference on software engineering (ICSE 2012) : Zurich, Switzerland 2-9 June 2012
Volume number
-
Issue number
-
First page of article
661
ISSN of proceedings
-
Year of publication
2012
URL
-
Number of additional authors
4
Additional information
<11>Modern constraint solvers are able to solve efficiently a broad range of problems.
However, this convenience comes at the price of a complex, monolithic architecture that typically requires significant manual tuning by an expert to achieve best performance. This paper describes an entirely novel constraint solver architecture based on generative programming. An input problem is analysed and a constraint solver tailored exactly to its features is synthesised from a library containing a wide variety of components, many unsuitable for inclusion in a generic solver. This removes the need for expert tuning and leads to a dramatic increase in solving efficiency.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Artificial intelligence
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
