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]
@article{GanianHO13, title = {Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width}, author = {Robert Ganian and Petr Hlinený and Jan Obdrzálek}, year = {2013}, doi = {10.3233/FI-2013-800}, url = {http://dx.doi.org/10.3233/FI-2013-800}, researchr = {https://researchr.org/publication/GanianHO13}, cites = {0}, citedby = {0}, journal = {Fundamenta Informaticae}, volume = {123}, number = {1}, pages = {59-76}, }