Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width

Robert Ganian, Petr Hlinený, Jan Obdrzálek
January 2013
bib

Abstract

Full Citation:

Robert Ganian, Petr Hlinený, Jan Obdrzálek. Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. Fundam. Inform., volume 123, number 1, pages 59–76, 2013.

Type
Journal Article
Robert Ganian
Robert Ganian

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