SAT-Encodings of Tree Decompositions

Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka

Fingerprint

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

Mathematics