[Zurück]

@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}
}