Expansion-Based QBF Solving Without Recursion

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

Research output: Contribution to journalArticleResearch

LanguageEnglish
JournalarXiv.org e-Print archive
VolumeCoRR
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.

Expansion-Based QBF Solving Without Recursion. / Bloem, Roderick; Braud-Santoni, Nicolas; Hadzic, Vedad; Egly, Uwe; Lonsing, Florian; Seidl, Martina.

In: arXiv.org e-Print archive, Vol. CoRR, 2018.

Research output: Contribution to journalArticleResearch

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, vol. CoRR.
Bloem R, Braud-Santoni N, Hadzic V, Egly U, Lonsing F, Seidl M. Expansion-Based QBF Solving Without Recursion. arXiv.org e-Print archive. 2018;CoRR.
Bloem, Roderick ; Braud-Santoni, Nicolas ; Hadzic, Vedad ; Egly, Uwe ; Lonsing, Florian ; Seidl, Martina. / Expansion-Based QBF Solving Without Recursion. In: arXiv.org e-Print archive. 2018 ; Vol. CoRR.
@article{f23e50e3fff44439acc1a1fa4301440d,
title = "Expansion-Based QBF Solving Without Recursion",
author = "Roderick Bloem and Nicolas Braud-Santoni and Vedad Hadzic and Uwe Egly and Florian Lonsing and Martina Seidl",
year = "2018",
language = "English",
volume = "CoRR",
journal = "arXiv.org e-Print archive",
publisher = "Cornell University Library",

}

TY - JOUR

T1 - Expansion-Based QBF Solving Without Recursion

AU - Bloem, Roderick

AU - Braud-Santoni, Nicolas

AU - Hadzic, Vedad

AU - Egly, Uwe

AU - Lonsing, Florian

AU - Seidl, Martina

PY - 2018

Y1 - 2018

M3 - Article

VL - CoRR

JO - arXiv.org e-Print archive

T2 - arXiv.org e-Print archive

JF - arXiv.org e-Print archive

ER -