Thesis : Vers un solveur SAT distribué efficace

Sorry, no longer relevant