%0 Journal Article %1 journals/fuin/GanianHO13 %A Ganian, Robert %A Hlinený, Petr %A Obdrzálek, Jan %D 2013 %J Fundam. Informaticae %K dblp %N 1 %P 59-76 %T Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. %U http://dblp.uni-trier.de/db/journals/fuin/fuin123.html#GanianHO13 %V 123

@article{journals/fuin/GanianHO13, added-at = {2020-09-18T00:00:00.000+0200}, author = {Ganian, Robert and Hlinený, Petr and Obdrzálek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/21c097566ad7617c1f6db9787359c3f3f/dblp}, ee = {https://doi.org/10.3233/FI-2013-800}, interhash = {be21caa4d42e5b46da8c3ccb57b56946}, intrahash = {1c097566ad7617c1f6db9787359c3f3f}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 1, pages = {59-76}, timestamp = {2020-09-19T11:38:50.000+0200}, title = {Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin123.html#GanianHO13}, volume = 123, year = 2013 }