Florian Lonsing, Uwe Egly, Allen Van Gelder. Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation. In Matti Järvisalo, Allen Van Gelder, editors, Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings. Volume 7962 of Lecture Notes in Computer Science, pages 100-115, Springer, 2013. [doi]
@inproceedings{LonsingEG13,
title = {Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation},
author = {Florian Lonsing and Uwe Egly and Allen Van Gelder},
year = {2013},
doi = {10.1007/978-3-642-39071-5_9},
url = {http://dx.doi.org/10.1007/978-3-642-39071-5_9},
researchr = {https://researchr.org/publication/LonsingEG13},
cites = {0},
citedby = {0},
pages = {100-115},
booktitle = {Theory and Applications of Satisfiability Testing - SAT 2013 - 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
editor = {Matti Järvisalo and Allen Van Gelder},
volume = {7962},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-39070-8},
}