A SAT Approach for Finding Sup-Transition-Minors

Benedikt Klocker, Herbert Fleischner, Günther Raidl
January 2018
PDF Cite
Type
Technical Report
Günther Raidl
Günther Raidl

Günther Raidl is a Professor at the Algorithms and Complexity Group.