EasyChair Smart SlideDocs/Log in
Author: Nicolas Prévot

This page shows all presentations of this author published in EasyChair Smart Slide.

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving

Nicolas Prévot, Mate Soos and Kuldeep S. Meel

Presentations in this collection: 1
Copyright © 2002 – 2024 EasyChair