Parallel Multithreaded Satisfiability Solver: Design and Implementation. - Yulik Feldman; Nachum Dershowitz; Ziyad Hanna (PDMC, 2004)