Towards Leveraging Backdoors in Qualitative Constraint Networks

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussavertaisarvioitu

Tutkijat

Organisaatiot

  • Tampere University

Kuvaus

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.

Yksityiskohdat

AlkuperäiskieliEnglanti
OtsikkoKI 2019
AlaotsikkoAdvances in Artificial Intelligence - 42nd German Conference on AI, Proceedings
ToimittajatChristoph Benzmüller, Heiner Stuckenschmidt
TilaJulkaistu - 1 tammikuuta 2019
OKM-julkaisutyyppiA4 Artikkeli konferenssijulkaisuussa
TapahtumaGerman Conference on Artificial Intelligence - Kassel, Saksa
Kesto: 23 syyskuuta 201926 syyskuuta 2019
Konferenssinumero: 42

Julkaisusarja

NimiLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
KustantajaSpringer
Vuosikerta11793 LNAI
ISSN (painettu)0302-9743
ISSN (elektroninen)1611-3349

Conference

ConferenceGerman Conference on Artificial Intelligence
LyhennettäKI
MaaSaksa
KaupunkiKassel
Ajanjakso23/09/201926/09/2019

ID: 37822652