SAT-Encodings for Treecut Width and Treedepth.

Robert Ganian Neha Lodha Sebastian Ordyniak Stefan Szeider

Published in: ALENEX (2019)

Keyphrases

sat encodings
sat solvers
combinatorial problems
graph coloring
constraint satisfaction problems
integer linear programming
linear arithmetic constraints
data structure
dynamic programming
genetic programming