A SAT Approach for Finding Sup-Transition-Minors

Benedikt Klocker, Herbert Fleischner, Günther Raidl
January 2018
PDF bib

Abstract

Full Citation:

Benedikt Klocker, Herbert Fleischner, Günther Raidl. A SAT Approach for Finding Sup-Transition-Minors. 2018, Technical report AC-TR-18-010, Algorithms and Complexity Group, TU Wien.

Type
Technical Report
Günther Raidl
Günther Raidl

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