%0 Conference Paper %1 conf/sat/BeyersdorffM09 %A Beyersdorff, Olaf %A Müller, Sebastian %B SAT %D 2009 %E Kullmann, Oliver %I Springer %K dblp %P 65-72 %T Does Advice Help to Prove Propositional Tautologies? %U http://dblp.uni-trier.de/db/conf/sat/sat2009.html#BeyersdorffM09 %V 5584 %@ 978-3-642-02776-5

@inproceedings{conf/sat/BeyersdorffM09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Beyersdorff, Olaf and Müller, Sebastian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/295dd245e43cb258b0e6d347a4b3a7f87/dblp}, booktitle = {SAT}, crossref = {conf/sat/2009}, editor = {Kullmann, Oliver}, ee = {https://www.wikidata.org/entity/Q59903690}, interhash = {366df23ba3119b6c3061d4739e3fe4b8}, intrahash = {95dd245e43cb258b0e6d347a4b3a7f87}, isbn = {978-3-642-02776-5}, keywords = {dblp}, pages = {65-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T15:51:16.000+0200}, title = {Does Advice Help to Prove Propositional Tautologies?}, url = {http://dblp.uni-trier.de/db/conf/sat/sat2009.html#BeyersdorffM09}, volume = 5584, year = 2009 }