EasyChair Smart Slide
DPS: a Framework for Deterministic Parallel SAT Solvers
DPS: a Framework for Deterministic Parallel SAT Solvers