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

Ganian, Robert; Hlinený, Petr; Obdrzálek, Jan

by Robert Ganian, Petr Hlinený, Jan Obdrzálek

Reference:

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

Bibtex Entry:

@article{GanianHlinenyObdrzalek13,
  author    = {Robert Ganian and
               Petr Hlinen{\'{y}} and
               Jan Obdrz{\'{a}}lek},
  title     = {Better Algorithms for Satisfiability Problems for Formulas of Bounded
               Rank-width},
  journal   = {Fundam. Inform.},
  volume    = {123},
  number    = {1},
  pages     = {59--76},
  year      = {2013}
}