Evguenii I. Goldberg

11 papers A 8Journal 2Unranked 1
YearRankTypeTitle / Venue / Authors
2003 A conf
Verification of Proofs of Unsatisfiability for CNF Formulas.
DATE
Evguenii I. Goldberg, Yakov Novikov
2002 A conf
BerkMin: A Fast and Robust Sat-Solver.
DATE
Evguenii I. Goldberg, Yakov Novikov
2002 A conf
Using Problem Symmetry in Search Based Satisfiability Algorithms.
DATE
Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
2001 A conf
An efficient learning procedure for multiple implication checks.
DATE
Yakov Novikov, Evguenii I. Goldberg
2001 A conf
Using SAT for combinational equivalence checking.
DATE
Evguenii I. Goldberg, Mukul R. Prasad, Robert K. Brayton
2000 J jnl
Negative thinking in branch-and-bound: the case of unate covering.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999 — conf
Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems.
VLSI
Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1998 A conf
Combinational Verification based on High-Level Functional Specifications.
DATE
Evguenii I. Goldberg, Yuji Kukimoto, Robert K. Brayton
1998 J jnl
Theory and algorithms for face hypercube embedding.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 A conf
A fast and robust exact algorithm for face embedding.
ICCAD
Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997 A conf
Negative thinking by incremental problem solving: application to unate covering.
ICCAD
Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli