"DepQBF 6.0: A Search-Based QBF Solver Beyond Traditional QCDCL."

Florian Lonsing, Uwe Egly (2017)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics