[Zurück]


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


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.