Automatically generating streamlined constraint models with ESSENCE and CONJURE
- Submitting institution
-
University of St Andrews
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 252010910
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-319-23219-5_34
- Title of conference / published proceedings
- Principles and Practice of Constraint Programming : 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
- First page
- 480
- Volume
- 9255 (LNCS)
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Out of scope for open access requirements
- Month of publication
- August
- Year of publication
- 2015
- 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
-
2
- Research group(s)
-
A - Artificial Intelligence
- Citation count
- 4
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- Streamliner constraints are an advanced method of vastly reducing the search required to solve complex combinatorial search problems. This paper demonstrates for the first time that streamliner constraints, previously found laboriously by hand, can be produced automatically directly from the description of a problem. It has led to a series of papers expanding on this topic and has drawn considerable interest in the field.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
