| |
| 2007 | ||
|---|---|---|
| 6 | EE | Eugene Goldberg, Yakov Novikov: BerkMin: A fast and robust Sat-solver. Discrete Applied Mathematics 155(12): 1549-1561 (2007) |
| 2003 | ||
| 5 | EE | Yakov Novikov: Local Search for Boolean Relations on the Basis of Unit Propagation. DATE 2003: 10810-10815 |
| 4 | EE | Evguenii I. Goldberg, Yakov Novikov: Verification of Proofs of Unsatisfiability for CNF Formulas. DATE 2003: 10886-10891 |
| 3 | EE | Eugene Goldberg, Yakov Novikov: How Good Can a Resolution Based SAT-solver Be? SAT 2003: 37-52 |
| 2002 | ||
| 2 | EE | Evguenii I. Goldberg, Yakov Novikov: BerkMin: A Fast and Robust Sat-Solver. DATE 2002: 142-149 |
| 2001 | ||
| 1 | EE | Yakov Novikov, Evguenii I. Goldberg: An efficient learning procedure for multiple implication checks. DATE 2001: 127-135 |
| 1 | Eugene Goldberg (Evguenii I. Goldberg) | [1] [2] [3] [4] [6] |