Automatically improving constraint models in Savile Row
- Submitting institution
-
University of St Andrews
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 252010861
- Type
- D - Journal article
- DOI
-
10.1016/j.artint.2017.07.001
- Title of journal
- Artificial Intelligence
- Article number
- -
- First page
- 35
- Volume
- 251
- Issue
- -
- ISSN
- 0004-3702
- Open access status
- Compliant
- Month of publication
- July
- Year of publication
- 2017
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
5
- Research group(s)
-
A - Artificial Intelligence
- Citation count
- 13
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The formulation of the model has a huge impact on solving performance in Constraint Programming. This paper presents an array of automatic improvements that can be applied to models, exhaustively evaluates them, and presents heuristics for choosing among them. The open-source modelling assistant software Savile Row provides an implementation of these methods and it is widely used for teaching and for solving hard combinatorial problems.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
