Toward Easy Parallel SAT Solving.

Gilles Dequen, Pascal Vander-Swalmen, Michal Krajecki

Browse the full ICTAI paper archive.