Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
A. Goultiaeva, M. Seidl, A. Biere:
"Bridging the gap between dual propagation and CNF-based QBF solving";
Vortrag: DATE 2013 - Design, Automation & Test in Europe,
Grenoble;
18.03.2013
- 22.03.2013; in: "Proceedings of Design, Automation and Test in Europe (DATE)",
San Jose, CA, USA
(2013),
ISBN: 978-1-4503-2153-2;
S. 811
- 814.
Elektronische Version der Publikation:
http://dl.acm.org/ft_gateway.cfm?id=2485484&ftid=1371667&dwn=1&CFID=272630725&CFTOKEN=43599257
Zugeordnete Projekte:
Projektleitung Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung