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

Kuan-Hua Tu, Tzu-Chien Hsu, Jie-Hong R. Jiang

Browse the full SAT paper archive.