Expansion-Based QBF Solving Without Recursion

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

Research output: Working paper › Preprint

Name	arXiv.org e-Print archive
Publisher	Cornell University Library

Access to Document

@techreport{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",

series = "arXiv.org e-Print archive",

publisher = "Cornell University Library",

type = "WorkingPaper",

institution = "Cornell University Library",

}