%0 Conference Paper %1 conf/date/SeidlK14 %A Seidl, Martina %A Könighofer, Robert %B DATE %D 2014 %E Fettweis, Gerhard P. %E Nebel, Wolfgang %I European Design and Automation Association %K %P 1-6 %T Partial witnesses from preprocessed quantified Boolean formulas. %U http://dblp.uni-trier.de/db/conf/date/date2014.html#SeidlK14 %@ 978-3-9815370-2-4

@inproceedings{conf/date/SeidlK14, added-at = {2023-12-12T19:30:09.000+0100}, author = {Seidl, Martina and Könighofer, Robert}, biburl = {https://www.bibsonomy.org/bibtex/27a97b2d700b0c61ccac8c89a95cde461/admin}, booktitle = {DATE}, crossref = {conf/date/2014}, editor = {Fettweis, Gerhard P. and Nebel, Wolfgang}, ee = {http://dl.acm.org/citation.cfm?id=2616790}, interhash = {21af202f84439ef2d87a2d91f5dc51fe}, intrahash = {7a97b2d700b0c61ccac8c89a95cde461}, isbn = {978-3-9815370-2-4}, keywords = {}, pages = {1-6}, publisher = {European Design and Automation Association}, timestamp = {2023-12-12T19:30:09.000+0100}, title = {Partial witnesses from preprocessed quantified Boolean formulas.}, url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#SeidlK14}, year = 2014 }