Improving Search Space Splitting for Parallel SAT Solving.

Ruben Martins, Vasco Manquinho, Ins Lynce

Browse the full ICTAI paper archive.