@inproceedings{917a75ed10984820bdfd896593adc602,
title = "Expansion-Based QBF Solving Without Recursion",
author = "Roderick Bloem and Nicolas Braud-Santon and Uwe Egly and Vedad Hadzic and Florian Lonsing and Martina Seidl",
year = "2018",
month = jul,
day = "2",
doi = "10.23919/FMCAD.2018.8603004",
language = "English",
isbn = "78-0-9835678-8-2",
pages = "40--49",
editor = "Nikolaj Bjorner and Arie Gurfinkel",
booktitle = "Proceedings of the 18th Conference on Formal Methods in Computer Aided Design",
}