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