Aaron R. Bradley

Computational Theory and Mathematics · 2006–2011

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

Subfields

Whom Aaron R. Bradley trusts overall

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

  1. Kenneth L. McMillan
  2. Niklas Eén
  3. Matthew W. Moskewicz
  4. Edmund M. Clarke
  5. Clark W. Barrett
  6. Niklas Sörensson
  7. Alexander Schrijver
  8. Somesh Jha
  9. Lintao Zhang
  10. Sharad Malik

Who trusts Aaron R. Bradley overall

  1. Niklas Eén
  2. Bruno Dutertre
  3. Roberto Cavada
  4. Alan Mishchenko
  5. Leonardo de Moura
  6. Robert K. Brayton
  7. A. Cimatti
  8. Marc Brockschmidt
  9. Michele Dorigatti

Papers from Aaron R. Bradley's perspective

Ordered by how strongly the researchers Aaron R. Bradley 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. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  3. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
  4. Temporal induction by incremental SAT solving (BMC@CAV)
  5. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  6. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  7. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  8. Applying SAT Methods in Unbounded Symbolic Model Checking (International Conference on Computer Aided Verification)
  9. INTERPRETATION : ‘A UNIFIED LATTICE MODEL FOR STATIC ANALYSIS OF PROGRAMS BY CONSTRUCTION OR APPROXIMATION
  10. A Structure-Preserving Clause Form Translation

Their papers