Concepedia

Yakov Novikov

YN

Statistics

Publications

3

Citations

520

H-Index

3

Active since

2003

Affiliations

Lawrence Berkeley National Laboratory(Current)

Cadence Design Systems (United States)

Yakov Novikov is an author at Lawrence Berkeley National Laboratory specializing in computer science, deductive verification, and computing.

Publications per year

2003–2006

3

Publications

3

BerkMin: A fast and robust SAT-solver

E. Goldberg, Yakov Novikov · Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 332 citations

, , +7

BerkMin: A fast and robust Sat-solver

Eugene Goldberg, Yakov Novikov · Discrete Applied Mathematics · 2006 · 100 citations

, , +7

Verification of proofs of unsatisfiability for CNF formulas

E. Goldberg, Yakov Novikov · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 88 citations

, , +12

1–3 of 3