[Zurück]


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

M. Seidl, R. Könighofer:
"Partial witnesses from preprocessed quantified Boolean formulas";
Vortrag: Design, Automation and Test in Europe Conference (DATE), Dresden; 24.03.2014 - 28.03.2014; in: "Design, Automation & Test in Europe Conference & Exhibition (DATE)", IEEE, (2014), S. 1 - 6.



"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.7873/DATE.2014.162

Elektronische Version der Publikation:
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6800363