"QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving."

Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang (2015)
a service of Schloss Dagstuhl - Leibniz Center for Informatics