SAT-Encodings of Tree Decompositions

Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka


We suggest some benchmarks based on a propositional encoding of tree decompositions of graphs.
Original languageEnglish
Title of host publicationIn Proceedings of SAT Competition 2018: Solver and Benchmark Descriptions, , 2018
Publication date2018
Publication statusPublished - 2018


Dive into the research topics of 'SAT-Encodings of Tree Decompositions'. Together they form a unique fingerprint.

Cite this