Evguenii I. Goldberg
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
2
Active years
1997–2003
Best venue rank
A
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2003 | DATE | Verification of Proofs of Unsatisfiability for CNF Formulas. | Evguenii I. Goldberg, Yakov Novikov |
| 2002 | DATE | BerkMin: A Fast and Robust Sat-Solver. | Evguenii I. Goldberg, Yakov Novikov |
| 2002 | DATE | Using Problem Symmetry in Search Based Satisfiability Algorithms. | Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton |
| 2001 | DATE | Using SAT for combinational equivalence checking. | Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton |
| 2001 | DATE | An efficient learning procedure for multiple implication checks. | Yakov Novikov, Evguenii I. Goldberg |
| 1998 | DATE | Combinational Verification based on High-Level Functional Specifications. | Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton |
| 1997 | ICCAD | Negative thinking by incremental problem solving: application to unate covering. | Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1997 | ICCAD | A fast and robust exact algorithm for face embedding. | Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |