SAT-Encodings for Special Treewidth and Pathwidth.

Neha Lodha Sebastian Ordyniak Stefan Szeider

Published in: SAT (2017)

Keyphrases

bounded treewidth
sat encodings
np complete
boolean functions
conjunctive queries
upper bound
sat solvers
decision problems
space complexity
search space
combinatorial problems
objective function
optimization algorithm
solving problems
graph coloring