Tim King

Computational Theory and Mathematics · with Barrett · 2014

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

Subfields

Whom Tim King trusts overall

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

  1. Bruno Dutertre
  2. Leonardo de Moura
  3. Alexander Schrijver
  4. Aaron Stump
  5. Cesare Tinelli
  6. Robert Nieuwenhuis
  7. Dejan Jovanovic
  8. David Detlefs
  9. Clark W. Barrett
  10. Geoff Sutcliffe

Who trusts Tim King overall

  1. Haniel Barbosa
  2. Clark W. Barrett
  3. Guy Katz
  4. Martin Brain
  5. Gereon Kremer

Papers from Tim King's perspective

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

  1. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  2. DPLL( T): Fast Decision Procedures (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. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  5. Satisfiability Modulo Theories
  6. GRASP: A Search Algorithm for Propositional Satisfiability
  7. Theory of linear and integer programming
  8. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  9. A Decision Method for Elementary Algebra and Geometry
  10. Conflict-Driven Clause Learning SAT Solvers (Handbook of Satisfiability)

Their papers