%0 Conference Paper %1 conf/icalp/GaspersS12 %A Gaspers, Serge %A Szeider, Stefan %B ICALP (1) %D 2012 %E Czumaj, Artur %E Mehlhorn, Kurt %E Pitts, Andrew M. %E Wattenhofer, Roger %I Springer %K dblp %P 363-374 %T Backdoors to Acyclic SAT. %U http://dblp.uni-trier.de/db/conf/icalp/icalp2012-1.html#GaspersS12 %V 7391 %@ 978-3-642-31593-0

@inproceedings{conf/icalp/GaspersS12, added-at = {2017-05-23T00:00:00.000+0200}, author = {Gaspers, Serge and Szeider, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/27ee22edeb52fc8636221d4938c5444b7/dblp}, booktitle = {ICALP (1)}, crossref = {conf/icalp/2012-1}, editor = {Czumaj, Artur and Mehlhorn, Kurt and Pitts, Andrew M. and Wattenhofer, Roger}, ee = {https://doi.org/10.1007/978-3-642-31594-7_31}, interhash = {23cce6db595189a67b7067b38df27b11}, intrahash = {7ee22edeb52fc8636221d4938c5444b7}, isbn = {978-3-642-31593-0}, keywords = {dblp}, pages = {363-374}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T16:28:06.000+0200}, title = {Backdoors to Acyclic SAT.}, url = {http://dblp.uni-trier.de/db/conf/icalp/icalp2012-1.html#GaspersS12}, volume = 7391, year = 2012 }