SAT-Encodings of Tree Decompositions (SAT 2018)
Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka
September 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