Zhaohui Fu

International Conference on Theory and Applications of Satisfiability Testing · 2006

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

Whom Zhaohui Fu trusts overall

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

  1. Israel Koren
  2. Lintao Zhang
  3. Joao Marques-Silva
  4. E. Goldberg
  5. Matthew W. Moskewicz
  6. Sharad Malik
  7. Karem A. Sakallah
  8. Yakov Novikov

Who trusts Zhaohui Fu overall

  1. Jessica Davies
  2. Alexey Ignatiev
  3. António Morgado
  4. Nina Narodytska
  5. Fahiem Bacchus
  6. Ruben Martins
  7. Sergey Mechtaev
  8. Gilles Audemard
  9. Joao Marques-Silva
  10. Vasco M. Manquinho

Papers from Zhaohui Fu's perspective

Ordered by how strongly the researchers Zhaohui Fu 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. Computer arithmetic algorithms
  4. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  5. Validating SAT solvers using an independent resolution-based checker: practical implementations and other applications (2003 Design, Automation and Test in Europe Conference and Exhibition)
  6. A Structure-Preserving Clause Form Translation
  7. Alloy: a lightweight object modelling notation (TSEM)
  8. A machine program for theorem-proving (CACM)
  9. The State-of-the-Art in IC Reverse Engineering (Workshop on Cryptographic Hardware and Embedded Systems)
  10. Batch Normalization: Accelerating Deep Network Training by Reducing Internal Covariate Shift (International Conference on Machine Learning)

Their papers