Expansion-Based QBF Solving Without Recursion

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Research output: Contribution to journalArticleResearch

Original languageEnglish
JournalarXiv.org e-Print archive
VolumeCoRR
Publication statusPublished - 2018

Cite this

Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F., & Seidl, M. (2018). Expansion-Based QBF Solving Without Recursion. arXiv.org e-Print archive, CoRR.