Yakov Novikov

Publication Activity (10 Years)

Years Active: 2001-2007
Publications (10 Years): 0

Publications

Eugene Goldberg, Yakov Novikov
BerkMin: A fast and robust Sat-solver. Discret. Appl. Math. 155 (12) (2007)
Eugene Goldberg, Yakov Novikov
How Good Can a Resolution Based SAT-solver Be? SAT (2003)
Evguenii I. Goldberg, Yakov Novikov
Verification of Proofs of Unsatisfiability for CNF Formulas. DATE (2003)
Yakov Novikov
Local Search for Boolean Relations on the Basis of Unit Propagation. DATE (2003)
Evguenii I. Goldberg, Yakov Novikov
BerkMin: A Fast and Robust Sat-Solver. DATE (2002)
Yakov Novikov, Evguenii I. Goldberg
An efficient learning procedure for multiple implication checks. DATE (2001)