APA (7th ed.) Citation

Tu, K., Hsu, T., & Jiang, J. R. (2015). QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving. Theory and Applications of Satisfiability Testing -- SAT 2015, 9340, 343-359. https://doi.org/10.1007/978-3-319-24318-4_25

Chicago Style (17th ed.) Citation

Tu, Kuan-Hua, Tzu-Chien Hsu, and Jie-Hong R. Jiang. "QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving." Theory and Applications of Satisfiability Testing -- SAT 2015 9340 (2015): 343-359. https://doi.org/10.1007/978-3-319-24318-4_25.

MLA (9th ed.) Citation

Tu, Kuan-Hua, et al. "QELL: QBF Reasoning with Extended Clause Learning and Levelized SAT Solving." Theory and Applications of Satisfiability Testing -- SAT 2015, vol. 9340, 2015, pp. 343-359, https://doi.org/10.1007/978-3-319-24318-4_25.