A SAT Approach for Finding Sup-Transition-Minors

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

Abstract

Full Citation:

Benedikt Klocker, Herbert Fleischner, Günther R. Raidl. A SAT Approach for Finding Sup-Transition-Minors. Learning and Intelligent Optimization. LION~2019, volume 11968 of LNCS, pages 325-341, 2019, Springer.

Type
Conference Paper
Günther Raidl
Günther Raidl

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