BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Goldberg:Evguenii_I=

Contributed to:

DATE 20032003
DATE 20022002
DATE 20012001
DATE 19981998

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.