This page shows all presentations of this author published in EasyChair Smart Slide.
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving
Nicolas Prévot, Mate Soos and Kuldeep S. Meel