Efficient Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.