QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving - Tu, Kuan-Hua; Hsu, Tzu-Chien; Jiang, Jie-Hong R. (Theory and Applications of Satisfiability Testing -- SAT 2015, 2015)
Keywords: Artificial intelligence; Computer science; Mathematical theory of computation