Login / Signup
Nicolas Prevot
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Boolean Variables
Sat Solving
Search Tree
Metaheuristic
Top Venues
CoRR
SAT
</>
Publications
</>
Nicolas Prevot
,
Mate Soos
,
Kuldeep S. Meel
Leveraging GPUs for Effective Clause Sharing in Parallel SAT Solving.
SAT
(2021)
Nicolas Prevot
GpuShareSat: a SAT solver using the GPU for clause sharing.
CoRR
(2020)