User:Ludovic

	Publication type
A Machine Learning Based Splitting Heuristic for Divide-and-Conquer Solvers	inproceedings
Community and LBD-based Clause Sharing Policy for Parallel SAT Solving	inproceedings
Modular and Efficient Divide-and-Conquer SAT Solver on Top of the Painless Framework	inproceedings
On the Usefulness of Clause Strengthening in Parallel SAT Solving	inproceedings
PaInleSS: a Framework for Parallel SAT Solving	inproceedings
Towards more efficient parallel SAT solving	phdthesis