Vol-3200⫷ Vol-3201 ⫸Vol-3202
urn:nbn:de:0074-3201-0


Vol-3201/invited1⫷Vol-3201/paper1⫸Vol-3201/paper2
Maximilian HeisingerMartina SeidlArmin Biere

QuAPI: Adding Assumptions to Non-Assuming SAT & QBF Solvers