@inproceedings{TUW-233367, author = {Seidl, Martina and K{\"o}nighofer, Robert}, title = {Partial witnesses from preprocessed quantified Boolean formulas}, booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition (DATE)}, year = {2014}, pages = {1--6}, publisher = {IEEE}, url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6800363}, doi = {10.7873/DATE.2014.162}, note = {Vortrag: Design, Automation and Test in Europe Conference (DATE), Dresden; 2014-03-24 -- 2014-03-28} }