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 contribution

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