Ludovic Le Frioux

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 5

Top Topics

Boolean Satisfiability

Search Heuristics

Clause Learning

Top Venues

Publications

Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Vijay Ganesh, Fabrice Kordon
Community and LBD-Based Clause Sharing Policy for Parallel SAT Solving. SAT (2020)
Saeed Nejati, Ludovic Le Frioux, Vijay Ganesh
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers. CP (2020)
Vincent Vallade, Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
On the Usefulness of Clause Strengthening in Parallel SAT Solving. NFM (2020)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework. TACAS (1) (2019)
Ludovic Le Frioux, Souheib Baarir, Julien Sopena, Fabrice Kordon
PaInleSS: A Framework for Parallel SAT Solving. SAT (2017)