Cesare Tinelli

Computational Theory and Mathematics · 2004–2022

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

Subfields

Whom Cesare Tinelli trusts overall

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

  1. Clark W. Barrett
  2. Kenneth L. McMillan
  3. Robert Nieuwenhuis
  4. Bruno Dutertre
  5. Leonardo de Moura
  6. Lintao Zhang
  7. Geoff Sutcliffe
  8. Albert Oliveras
  9. J. Håstad
  10. Monique Laurent

Who trusts Cesare Tinelli overall

  1. Tim King
  2. Clark W. Barrett
  3. Guy Katz
  4. Martin Gebser
  5. Vaishak Belle
  6. Malik Ghallab
  7. Rajeev Alur
  8. Haniel Barbosa
  9. Sanjit A. Seshia
  10. Leonardo de Moura

Papers from Cesare Tinelli's perspective

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

  1. DPLL( T): Fast Decision Procedures (International Conference on Computer Aided Verification)
  2. CVC Lite: A New Implementation of the Cooperating Validity Checker Category B (International Conference on Computer Aided Verification)
  3. The complexity of theorem-proving procedures
  4. On the Complexity of Derivation in Propositional Calculus
  5. Interpolation and SAT-Based Model Checking (International Conference on Computer Aided Verification)
  6. BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
  7. A Fast Linear-Arithmetic Solver for DPLL(T) (International Conference on Computer Aided Verification)
  8. Reducibility Among Combinatorial Problems
  9. Solving SAT and SAT Modulo Theories: From an abstract Davis--Putnam--Logemann--Loveland procedure to DPLL(T)
  10. An interpolating theorem prover (Theoretical Computer Science)

Their papers