SAT-Encodings of Tree Decompositions (SAT 2018)

Abstract

We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs

Publication
In SAT Competition: Solver and Benchmark Descriptions, 2018