Stefano Tonetta

Computational Theory and Mathematics · 2014

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

Subfields

Whom Stefano Tonetta trusts

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

  1. Kenneth L. McMillan (in Computational Theory and Mathematics)
  2. Aaron R. Bradley (in Artificial Intelligence)

Papers from Stefano Tonetta's perspective

Ordered by how strongly the researchers Stefano Tonetta 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. An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
  3. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
  4. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
  5. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  6. Satisfiability Modulo Theories
  7. The MathSAT5 SMT Solver (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. NuSMV 2: An OpenSource Tool for Symbolic Model Checking (International Conference on Computer Aided Verification)
  9. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  10. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)

Their papers