Abstract
In this short paper we introduce the notions of backbones and backdoors in the context of qualitative constraint networks. As motivation for the study of those structures, we argue that they can be used to define collaborative approaches among SAT, CP, and native tools, inspire novel decomposition and parallelization techniques, and lead to the development of adaptive constraint propagators with a better insight into the particularities of real-world datasets than what is possible today.
Original language | English |
---|---|
Title of host publication | KI 2019 |
Subtitle of host publication | Advances in Artificial Intelligence - 42nd German Conference on AI, Proceedings |
Editors | Christoph Benzmüller, Heiner Stuckenschmidt |
Pages | 308-315 |
Number of pages | 8 |
DOIs | |
Publication status | Published - 1 Jan 2019 |
MoE publication type | A4 Article in a conference publication |
Event | German Conference on Artificial Intelligence - Kassel, Germany Duration: 23 Sep 2019 → 26 Sep 2019 Conference number: 42 |
Publication series
Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Publisher | Springer |
Volume | 11793 LNAI |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Conference
Conference | German Conference on Artificial Intelligence |
---|---|
Abbreviated title | KI |
Country | Germany |
City | Kassel |
Period | 23/09/2019 → 26/09/2019 |
Keywords
- Backbones
- Backdoors
- Local consistencies
- Qualitative constraints
- Spatio-temporal reasoning