Projects per year
Abstract
Recently, [16] showed that the nogoods inferred by learning solvers can be used to improve a problem model, by detecting constraints that can be strengthened and new redundant constraints. However, the detection process was manual and required in-depth knowledge of both the learning solver and the model transformations performed by the compiler. In this paper we provide the first steps towards a (largely) automatic detection process. In particular, we discuss how nogoods can be automatically simplified, connected back to the constraints in the model, and grouped into more general “patterns” for which common facts might be found. These patterns are easier to understand and provide stronger evidence of the importance of particular constraints. We also show how nogoods generated by different search strategies and problem instances can increase our confidence in the usefulness of these patterns. Finally, we identify significant challenges and avenues for future research.
Original language | English |
---|---|
Title of host publication | Principles and Practice of Constraint Programming |
Subtitle of host publication | 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings |
Editors | John Hooker |
Place of Publication | Cham Switzerland |
Publisher | Springer |
Pages | 403-419 |
Number of pages | 17 |
ISBN (Electronic) | 9783319983349 |
ISBN (Print) | 9783319983332 |
DOIs | |
Publication status | Published - 1 Jan 2018 |
Event | International Conference on Principles and Practice of Constraint Programming 2018 - Lille, France Duration: 27 Aug 2018 → 31 Aug 2018 Conference number: 24th http://cp2018.a4cp.org/ |
Publication series
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 11008 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | International Conference on Principles and Practice of Constraint Programming 2018 |
---|---|
Abbreviated title | CP 2018 |
Country/Territory | France |
City | Lille |
Period | 27/08/18 → 31/08/18 |
Internet address |
Projects
- 1 Curtailed
-
Learning from learning solvers
Garcia De La Banda Garcia, M., Wallace, M. & Tack, G.
1/01/18 → 30/12/21
Project: Research