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álekIARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2010, December 15-18, 2010, Chennai, India, volume 8 of LIPIcs, pages 73–83, 2010, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

Bibtex Entry:

@string{lipics="LIPIcs"}
@inproceedings{GanianHlinenyObdrzalek10,
  author    = {Robert Ganian and
               Petr Hlinen{\'{y}} and
               Jan Obdrz{\'{a}}lek},
  title     = {Better Algorithms for Satisfiability Problems for Formulas of Bounded
               Rank-width},
  booktitle = {{IARCS} Annual Conference on Foundations of Software Technology and
               Theoretical Computer Science, {FSTTCS} 2010, December 15-18, 2010,
               Chennai, India},
  pages     = {73--83},
  year      = {2010},
  series    = {LIPIcs},
  volume    = {8},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik}
}