Jasmin Christian Blanchette
International Conference on Interactive Theorem Proving · 2010–2012
A researcher in the Science corpus: 2 papers; trusts 2 researchers and is trusted by 4 researchers here, as inferred from the citation graph.
Whom Jasmin Christian Blanchette trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Jasmin Christian Blanchette overall
Papers from Jasmin Christian Blanchette's perspective
Ordered by how strongly the researchers Jasmin Christian Blanchette trusts endorse each paper. Same corpus, a different order for every researcher.
- Software Abstractions - Logic, Language, and Analysis
- Kodkod: A Relational Model Finder (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
- Concepts, Techniques, and Models of Computer Programming
- BerkMin: A fast and robust SAT-solver (Proceedings 2002 Design, Automation and Test in Europe Conference and Exhibition)
- An Extensible SAT-solver (International Conference on Theory and Applications of Satisfiability Testing)
- Computational complexity and the classification of finite simple groups
- Cooperating sequential processes
- Translating Pseudo-Boolean Constraints into SAT (Journal on Satisfiability, Boolean Modeling and Computation)
- Chaff: engineering an efficient SAT solver (Proceedings - Design Automation Conference)
- Situations, Actions, and Causal Laws