Talks and Poster Presentations (with Proceedings-Entry):
M. Seidl, R. Könighofer:
"Partial witnesses from preprocessed quantified Boolean formulas";
Talk: Design, Automation and Test in Europe Conference (DATE),
Dresden;
2014-03-24
- 2014-03-28; in: "Design, Automation & Test in Europe Conference & Exhibition (DATE)",
IEEE,
(2014),
1
- 6.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.7873/DATE.2014.162
Electronic version of the publication:
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6800363
Created from the Publication Database of the Vienna University of Technology.