SAT-Based Tree Decomposition with Iterative Cascading Policy Selection.
Hai XiaStefan SzeiderPublished in: AAAI (2024)
Keyphrases
- tree decomposition
- answer set programming
- constraint networks
- tree width
- decomposition method
- logic programming
- branch and bound
- tree decompositions
- probabilistic reasoning
- logic programs
- answer sets
- parallel processing
- graph theory
- constraint satisfaction problems
- databases
- reasoning tasks
- machine learning
- neural network
- constraint satisfaction
- arc consistency
- knowledge representation
- special case
- evolutionary algorithm
- search algorithm