BerkMin: a fast and robust sat-solver (2002)

by Evgueni Goldberg , Yakov Novikov
Citations:239 - 4 self

Document Versions

BerkMin: a fast and robust sat-solver –Evgueni Goldberg, Yakov Novikov — 2002
BerkMin: a Fast and Robust Sat-Solver –Evgueni Goldberg, Yakov Novikov — 2002
BerkMin: a Fast and Robust SAT-Solver –Evgueni Goldberg, Yakov Novikov