Parallel Multithreaded Satisfiability Solver: Design and Implementation (2005)

by Yulik Feldman
Citations:22 - 1 self