E. Goldberg

Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition · 2002

A researcher in the Science corpus: 1 paper; trusts 3 researchers and is trusted by 20 researchers here, as inferred from the citation graph.

Whom E. Goldberg trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Joao Marques-Silva
  2. Matthew W. Moskewicz
  3. Karem A. Sakallah
  4. Lintao Zhang

Who trusts E. Goldberg overall

  1. Lintao Zhang
  2. Daniel Jackson
  3. Martin Gebser
  4. Sharad Malik
  5. Kenneth L. McMillan
  6. Zhaohui Fu
  7. Emina Torlak
  8. Benjamin Kaufmann
  9. Gilles Audemard
  10. Tian Sang

Papers from E. Goldberg's perspective

Ordered by how strongly the researchers E. Goldberg trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. GRASP: A Search Algorithm for Propositional Satisfiability
  3. A machine program for theorem-proving (CACM)
  4. Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
  5. A Structure-Preserving Clause Form Translation
  6. Extending SAT Solvers to Cryptographic Problems (International Conference on Theory and Applications of Satisfiability Testing)
  7. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
  8. ImageNet classification with deep convolutional neural networks
  9. Speeding up Convolutional Neural Networks with Low Rank Expansions
  10. Very Deep Convolutional Networks for Large-Scale Image Recognition (International Conference on Learning Representations)

Their papers