Yakov Novikov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
2001–2003
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | DATE | Verification of Proofs of Unsatisfiability for CNF Formulas. | Evguenii I. Goldberg, Yakov Novikov |
| 2003 | DATE | Local Search for Boolean Relations on the Basis of Unit Propagation. | Yakov Novikov |
| 2003 | SAT | How Good Can a Resolution Based SAT-solver Be? | Eugene Goldberg, Yakov Novikov |
| 2002 | DATE | BerkMin: A Fast and Robust Sat-Solver. | Evguenii I. Goldberg, Yakov Novikov |
| 2001 | DATE | An efficient learning procedure for multiple implication checks. | Yakov Novikov, Evguenii I. Goldberg |