SAT-Encodings for Treecut Width and Treedepth.

Robert Ganian Neha Lodha Sebastian Ordyniak Stefan Szeider

Published in: CoRR (2019)

Keyphrases

sat encodings
sat solvers
constraint satisfaction problems
combinatorial problems
graph coloring
solving problems
linear arithmetic constraints
search algorithm
planning problems
integer linear programming