Robert K. Brayton

International Conference on Computer Aided Verification · 1993–2011

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

Whom Robert K. Brayton trusts overall

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

  1. Alan Mishchenko
  2. Kenneth L. McMillan
  3. Aaron R. Bradley
  4. Niklas Eén

Who trusts Robert K. Brayton overall

  1. Armando Solar-Lezama
  2. Muhammad Yasin
  3. Kaveh Shamsi
  4. Rastislav Bodík
  5. A. Sengupta
  6. Meng Li

Papers from Robert K. Brayton's perspective

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

  1. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  2. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  3. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  4. On the Complexity of Derivation in Propositional Calculus
  5. Robust Boolean reasoning for equivalence checking and functional property verification (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.)
  6. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis (2006 43rd ACM/IEEE Design Automation Conference)
  7. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  8. A machine program for theorem-proving (CACM)
  9. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  10. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)

Their papers