%0 Conference Paper %1 conf/fsttcs/GanianHO10 %A Ganian, Robert %A Hlinený, Petr %A Obdrzálek, Jan %B FSTTCS %D 2010 %E Lodaya, Kamal %E Mahajan, Meena %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 73-83 %T Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width. %U http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#GanianHO10 %V 8 %@ 978-3-939897-23-1

@inproceedings{conf/fsttcs/GanianHO10, added-at = {2018-08-23T00:00:00.000+0200}, author = {Ganian, Robert and Hlinený, Petr and Obdrzálek, Jan}, biburl = {https://www.bibsonomy.org/bibtex/20dcc7391912feb8db766db41bc30cb2f/dblp}, booktitle = {FSTTCS}, crossref = {conf/fsttcs/2010}, editor = {Lodaya, Kamal and Mahajan, Meena}, ee = {https://doi.org/10.4230/LIPIcs.FSTTCS.2010.73}, interhash = {008f27d6076d6df441e3031b6ae8d275}, intrahash = {0dcc7391912feb8db766db41bc30cb2f}, isbn = {978-3-939897-23-1}, keywords = {dblp}, pages = {73-83}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2020-02-12T11:52:21.000+0100}, title = {Better Algorithms for Satisfiability Problems for Formulas of Bounded Rank-width.}, url = {http://dblp.uni-trier.de/db/conf/fsttcs/fsttcs2010.html#GanianHO10}, volume = 8, year = 2010 }