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

Alexandra Goultiaeva, Martina Seidl, Armin Biere

Browse the full DATE paper archive.