Travelled to:2 × France
2 × Germany
Collaborated with:Y.Novikov R.K.Brayton M.R.Prasad Y.Kukimoto
Talks about:combin (2) verif (2) check (2) base (2) use (2) sat (2) unsatisfi (1) algorithm (1) symmetri (1) procedur (1)
Person: Evguenii I. Goldberg
DBLP: Goldberg:Evguenii_I=
Contributed to:
2003200220011998Wrote 6 papers:
- DATE-2003-GoldbergN #proving #satisfiability #verification
- Verification of Proofs of Unsatisfiability for CNF Formulas (EIG, YN), pp. 10886–10891.
- DATE-2002-GoldbergN #named #performance #robust
- BerkMin: A Fast and Robust Sat-Solver (EIG, YN), pp. 142–149.
- DATE-2002-GoldbergPB #algorithm #problem #satisfiability #symmetry #using
- Using Problem Symmetry in Search Based Satisfiability Algorithms (EIG, MRP, RKB), pp. 134–141.
- DATE-2001-GoldbergPB #equivalence #satisfiability #using
- Using SAT for combinational equivalence checking (EIG, MRP, RKB), pp. 114–121.
- DATE-2001-NovikovG #learning #multi #performance
- An efficient learning procedure for multiple implication checks (YN, EIG), pp. 127–135.
- DATE-1998-GoldbergKB #functional #specification #verification
- Combinational Verification based on High-Level Functional Specifications (EIG, YK, RKB), pp. 803–808.