Fast and parallel decomposition of constraint satisfaction problems

Constraint Satisfaction Problems (CSP) are notoriously hard. Consequently, powerful decomposition methods have been developed to overcome this complexity. However, this poses the challenge of actually computing such a decomposition for a given CSP instance, and previous algorithms have shown their l...

Celý popis

Podrobná bibliografie
Hlavní autoři: Gottlob, G, Okulmus, C, Pichler, R
Médium: Conference item
Jazyk:English
Vydáno: Association for the Advancement of Artificial Intelligence 2020