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

Kuan-Hua TuTzu-Chen HsuJIE-HONG JIANG2018-09-102018-09-102015-09http://scholars.lib.ntu.edu.tw/handle/123456789/394748[SDGs]SDG16QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solvingconference paper10.1007/978-3-319-24318-4_252-s2.0-84951005980