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

Robert Ganian
Robert Ganian

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