Alan Mishchenko

International Conference on Computer Aided Verification · 2006–2011

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

Whom Alan Mishchenko trusts overall

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

  1. Kenneth L. McMillan
  2. Aaron R. Bradley
  3. Niklas Eén

Who trusts Alan Mishchenko overall

  1. Armando Solar-Lezama
  2. Rastislav Bodík
  3. Robert K. Brayton
  4. Andrew Canis
  5. Muhammad Yasin
  6. Kaveh Shamsi
  7. Jongsok Choi

Papers from Alan Mishchenko's perspective

Ordered by how strongly the researchers Alan Mishchenko 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. Effective Preprocessing in SAT Through Variable and Clause Elimination (International Conference on Theory and Applications of Satisfiability Testing)
  3. SAT-Based Model Checking without Unrolling (International Conference on Verification, Model Checking and Abstract Interpretation)
  4. On the Complexity of Derivation in Propositional Calculus
  5. Robust Boolean reasoning for equivalence checking and functional property verification (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.)
  6. DAG-aware AIG rewriting: a fresh look at combinational logic synthesis (2006 43rd ACM/IEEE Design Automation Conference)
  7. Cha : Engineering an e cient SAT solver (Design Automation Conference)
  8. Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
  9. Checking Safety Properties Using Induction and a SAT-Solver (Formal Methods in Computer-Aided Design)
  10. A machine program for theorem-proving (CACM)

Their papers