Automatically improving constraint models in Savile Row
- Submitting institution
-
University of York
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 59972809
- 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
- Technical exception
- 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)
-
-
- Citation count
- 13
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- The paper builds on two conference publications (Nightingale et al, CP 2014 and Nightingale et al, CP 2015) and brings together several years of work on automated reformulation of constraint models. The paper has been included in two surveys (Freuder 2018 and Hooker and van Hoeve 2018) both published in Constraints, the best journal specific to constraint satisfaction and optimisation.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
