A Canonical Tree Decomposition for Chirotopes.
Mathilde BouvelValentin FérayXavier GoaocFlorent KoechlinPublished in: SoCG (2024)
Keyphrases
- tree decomposition
- tree width
- constraint networks
- decomposition method
- probabilistic reasoning
- branch and bound
- graph theory
- answer set programming
- parallel processing
- tree decompositions
- constraint satisfaction problems
- decomposition methods
- series parallel
- search algorithm
- answer sets
- logic programming
- logic programs
- special case
- constraint programming
- first order logic
- np complete
- general purpose
- bayesian networks