@inproceedings{eee64a8581964caab229d41c866fa2ce,
title = "FERPModels: A Certification Framework for Expansion-Based QBF Solving",
author = "Roderick Bloem and Vedad Hadzic and Ankit Shukla and Martina Seidl",
year = "2022",
doi = "10.1109/SYNASC57785.2022.00022",
language = "English",
pages = "80--83",
editor = "Bruno Buchberger and Mircea Marin and Viorel Negru and Daniela Zaharie",
booktitle = "Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing",
publisher = "IEEE",
}