SAT-Encodings of Tree Decompositions

Max Bannach, Sebastian Berndt, Thorsten Ehlers, Dirk Nowotka

Fingerprint

Untersuchen Sie die Forschungsthemen von „SAT-Encodings of Tree Decompositions“. Zusammen bilden sie einen einzigartigen Fingerprint.

Mathematik