Parallel SAT Solver Selection and Scheduling.

Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann

Browse the full CP paper archive.