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

Robert Ganian, Petr Hlinen{\'{y}}, Jan Obdrz{\'{a}}lek
January 2013
bib

Abstract

Full Citation:

Robert Ganian, Petr Hlinen'y, Jan Obdrz'alek. 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.