Backdoor Treewidth for SAT

Robert Ganian, M. S. Ramanujan, Stefan Szeider
January 2017
PDF bib

Abstract

Full Citation:

Robert Ganian, M. S. Ramanujan, Stefan Szeider. Backdoor Treewidth for SAT. 2017, Technical report AC-TR-17-014, Algorithms and Complexity Group, TU Wien.

Type
Technical Report
Robert Ganian
Robert Ganian

Robert Ganian is a Professor at the Algorithms and Complexity Group.

Stefan Szeider
Stefan Szeider
Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.