Talks and Poster Presentations (with Proceedings-Entry):
A. Goultiaeva, M. Seidl, A. Biere:
"Bridging the gap between dual propagation and CNF-based QBF solving";
Talk: DATE 2013 - Design, Automation & Test in Europe,
Grenoble;
2013-03-18
- 2013-03-22; in: "Proceedings of Design, Automation and Test in Europe (DATE)",
San Jose, CA, USA
(2013),
ISBN: 978-1-4503-2153-2;
811
- 814.
Electronic version of the publication:
http://dl.acm.org/ft_gateway.cfm?id=2485484&ftid=1371667&dwn=1&CFID=272630725&CFTOKEN=43599257
Related Projects:
Project Head Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung
Created from the Publication Database of the Vienna University of Technology.