Z.: Parallel Multithreaded Satisfiability Solver (0)

by Y Feldman, N Dershowitz, Hanna
Venue:Design and Implementation, Electronic Notes in Theoretical Computer Science