pith. sign in

Eugene Goldberg

Identifiers

  • name variant Eugene Goldberg 0.60 · backfill

Papers (16)

  1. Structure-Aware Computing, Partial Quantifier Elimination And SAT cs.LO · 2024 · author #1
  2. Partial Quantifier Elimination With Learning cs.LO · 2019 · author #1
  3. Quantifier Elimination With Structural Learning cs.LO · 2018 · author #1
  4. Improving Convergence Rate Of IC3 cs.LO · 2018 · author #1
  5. Complete Test Sets And Their Approximations cs.LO · 2018 · author #1
  6. Generation of complete test sets cs.LO · 2018 · author #1
  7. Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version) cs.LO · 2017 · author #1
  8. Property Checking By Logic Relaxation cs.LO · 2016 · author #1
  9. Equivalence Checking By Logic Relaxation cs.LO · 2015 · author #1
  10. Equivalence Checking and Simulation By Computing Range Reduction cs.LO · 2015 · author #1
  11. Bug Hunting By Computing Range Reduction cs.LO · 2014 · author #1
  12. Partial Quantifier Elimination cs.LO · 2014 · author #1
  13. Verification of Sequential Circuits by Tests-As-Proofs Paradigm cs.LO · 2013 · author #1
  14. Checking Satisfiability by Dependency Sequents cs.LO · 2012 · author #1
  15. Removal of Quantifiers by Elimination of Boundary Points cs.LO · 2012 · author #1
  16. Quantifier Elimination by Dependency Sequents cs.LO · 2012 · author #1

Mentions

  • 1511.01368 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1507.02297 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1408.7039 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1407.4835 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1308.0583 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1207.5014 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1204.1746 #1 · backfill · confidence 0.70 Eugene Goldberg
  • 1201.5653 #1 · backfill · confidence 0.70 Eugene Goldberg

Frequent Coauthors