@inproceedings{c4ad03419b1a428fb851f6e5b36478a9,
title = "QuAPI: Adding Assumptions to Non-Assuming SAT \textbackslash{}\& QBF Solvers",
author = "Maximilian Heisinger and Martina Seidl and Armin Biere",
year = "2022",
language = "English",
volume = "3201",
series = "CEUR Workshop Proceedings",
publisher = "CEUR-WS.org",
editor = "\{Boris Konev, Claudia Schon, Alexander Steen\}",
booktitle = "Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11 - 12, 2022",
}