Expansion-Based QBF Solving Without Recursion

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

Publikation: Beitrag in einer FachzeitschriftArtikelForschung

Originalspracheenglisch
FachzeitschriftarXiv.org e-Print archive
JahrgangCoRR
PublikationsstatusVeröffentlicht - 2018

Dieses zitieren

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.