Bridging the gap between dual propagation and CNF-based QBF solving

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.