Parallel multithreaded satisfiability solver: Design and implementation (2004)

by Yulik Feldman, Nachum Dershowitz, Ziyad Hanna
Venue:In PDMC