Maximilian Heisinger, Martina Seidl, Armin Biere,
"QuAPI: Adding Assumptions to Non-Assuming SAT \& QBF Solvers"
, in Boris Konev, Claudia Schon, Alexander Steen: 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, Serie CEUR Workshop Proceedings, Vol. 3201, CEUR-WS.org, 2022
Original Titel:
QuAPI: Adding Assumptions to Non-Assuming SAT \& QBF Solvers
Sprache des Titels:
Englisch
Original Buchtitel:
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