Expansion-Based QBF Solving Without Recursion

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationfmcad.18
Subtitle of host publicationProceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018)
EditorsNikolaj Bjørner , Arie Gurfinkel
Pages40-49
ISBN (Electronic) 978-0-9835678-8-2
Publication statusPublished - 2018
Event18th Conference on Formal Methods in Computer-Aided Design - Austin, United States
Duration: 30 Oct 20182 Nov 2018
Conference number: 18

Conference

Conference18th Conference on Formal Methods in Computer-Aided Design
Abbreviated titleFMCAD 2018
CountryUnited States
CityAustin
Period30/10/182/11/18

Cite this

Bloem, R., Braud-Santoni, N., Hadzic, V., Egly, U., Lonsing, F., & Seidl, M. (2018). Expansion-Based QBF Solving Without Recursion. In N. Bjørner , & A. Gurfinkel (Eds.), fmcad.18: Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018) (pp. 40-49)