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

Alexandra Goultiaeva, Martina Seidl, Armin Biere (2013)
a service of Schloss Dagstuhl - Leibniz Center for Informatics