Andrea Micheli

Artificial Intelligence · 2014–2016

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

Subfields

Whom Andrea Micheli trusts overall

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

  1. Bruno Dutertre
  2. Clark W. Barrett
  3. A. Cimatti
  4. Drew V. McDermott
  5. Armin Biere
  6. Amanda Jane Coles
  7. Thierry Vidal
  8. Maria Fox

Who trusts Andrea Micheli overall

  1. Maria Fox
  2. Derek Long
  3. Daniele Magazzeni

Papers from Andrea Micheli's perspective

Ordered by how strongly the researchers Andrea Micheli 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. NuSMV 2: An OpenSource Tool for Symbolic Model Checking (International Conference on Computer Aided Verification)
  5. Counterexample-guided abstraction refinement for symbolic model checking (JACM)
  6. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  7. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  8. Using temporal logics to express search control knowledge for planning (Artificial Intelligence)
  9. PDDL2.1: An Extension to PDDL for Expressing Temporal Planning Domains
  10. The Description Logic Handbook: Theory, Implementation, and Applications (Description Logic Handbook)

Their papers