Sergio Mover

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 Sergio Mover 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 Sergio Mover's perspective

Ordered by how strongly the researchers Sergio Mover 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. Satisfiability Modulo Theories
  6. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  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