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