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

Journal

International Conference on Theory and Applications of Satisfiability Testing (SAT)

Pages

343-359

Date Issued

2015-09

Author(s)

Kuan-Hua Tu

Tzu-Chen Hsu

DOI

URI

Type

conference paper