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

Robert Ganian, Petr Hlinený, Jan Obdrzálek. Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. Fundamenta Informaticae, 123(1):59-76, 2013. [doi]

Abstract

Abstract is missing.