Yakov Novikov

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 Yakov Novikov trusts overall

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

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

Who trusts Yakov Novikov 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 Yakov Novikov's perspective

Ordered by how strongly the researchers Yakov Novikov 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. Speeding up Convolutional Neural Networks with Low Rank Expansions
  8. Learning both Weights and Connections for Efficient Neural Network
  9. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)
  10. ImageNet classification with deep convolutional neural networks

Their papers