DMCA

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

by Evgueni Goldberg , Yakov Novikov
Citations:280 - 5 self