- Computer Science Laboratory Sorbonne Université - CNRS UMR 7606

 Thesis : Vers un solveur SAT distribué efficace

Sorry, no longer relevant