Towards Leveraging Backdoors in Qualitative Constraint Networks

Michael Sioutis*, Tomi Janhunen

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussaConference contributionScientificvertaisarvioitu

1 Sitaatiot (Scopus)

Abstrakti

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.

AlkuperäiskieliEnglanti
OtsikkoKI 2019
AlaotsikkoAdvances in Artificial Intelligence - 42nd German Conference on AI, Proceedings
ToimittajatChristoph Benzmüller, Heiner Stuckenschmidt
Sivut308-315
Sivumäärä8
DOI - pysyväislinkit
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

Sormenjälki Sukella tutkimusaiheisiin 'Towards Leveraging Backdoors in Qualitative Constraint Networks'. Ne muodostavat yhdessä ainutlaatuisen sormenjäljen.

Siteeraa tätä