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