Andrew Reynolds

Artificial Intelligence · 2016–2022

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

Subfields

Whom Andrew Reynolds trusts

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

  1. Cesare Tinelli (in Artificial Intelligence)
  2. Robert Nieuwenhuis (in Artificial Intelligence)
  3. Albert Oliveras (in Artificial Intelligence)
  4. Leonardo de Moura (in Artificial Intelligence)

Papers from Andrew Reynolds's perspective

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

  1. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  2. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  3. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  4. Yices 2.2 (International Conference on Computer Aided Verification)
  5. Efficient E-Matching for SMT Solvers (CADE)
  6. Splitting on Demand in SAT Modulo Theories
  7. Leveraging linear and mixed integer programming for SMT
  8. Simplify: a theorem prover for program checking (JACM)
  9. GRASP: A Search Algorithm for Propositional Satisfiability
  10. Lazy proofs for DPLL(T)-based SMT solvers

Their papers