Get started
Author

Simon Cruanes

Faster, Higher, Stronger: E 2.3
2019 · Stephan Schulz, Simon Cruanes, et al. · Lecture notes in computer science · 103
Tool Integration with the Evidential Tool Bus
2013 · Simon Cruanes, Gregoire Hamon, et al. · Lecture notes in computer science · 65
Superposition with Structural Induction
2017 · Simon Cruanes · Lecture notes in computer science · 46
The Imandra Automated Reasoning System (System Description)
2020 · Grant Passmore, Simon Cruanes, et al. · Lecture notes in computer science · 33
Superposition for Lambda-Free Higher-Order Logic
2018 · Alexander Bentkamp, Jasmin Christian Blanchette, et al. · Lecture notes in computer science · 30
PDF
Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond
2015 · Cruanes, Simon · HAL · 30
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
2019 · Petar Vukmirović, Jasmin Christian Blanchette, et al. · Lecture notes in computer science · 26
PDF
Model Finding for Recursive Functions in SMT
2016 · Andrew Reynolds, Jasmin Christian Blanchette, et al. · Lecture notes in computer science · 22
Making Higher-Order Superposition Work
2021 · Petar Vukmirović, Alexander Bentkamp, et al. · Lecture notes in computer science · 20
PDF
Extending a brainiac prover to lambda-free higher-order logic
2021 · Petar Vukmirović, Jasmin Blanchette, et al. · International Journal on Software Tools for Technology Transfer · 19
PDF
Making Higher-Order Superposition Work
2022 · Petar Vukmirović, Alexander Bentkamp, et al. · Journal of Automated Reasoning · 11
Extending Nunchaku to Dependent Type Theory
2016 · Simon Cruanes, Jasmin Christian Blanchette · Electronic Proceedings in Theoretical Computer Science · 8
PDF
Logtk : A Logic ToolKit for Automated Reasoning and its Implementation
2018 · Simon Cruanes · EPiC series in computing · 7
PDF
Language and Proofs for Higher-Order SMT (Work in Progress)
2017 · Haniel Barbosa, Jasmin Christian Blanchette, et al. · Electronic Proceedings in Theoretical Computer Science · 6
PDF
The Semantics of Datalog for the Evidential Tool Bus
2014 · Simon Cruanes, Stijn Heymans, et al. · Lecture notes in computer science · 6
An Automation-Friendly Set Theory for the B Method
2018 · Guillaume Bury, Simon Cruanes, et al. · Lecture notes in computer science · 4
Superposition for Lambda-Free Higher-Order Logic
2020 · Bentkamp, Alexander, Blanchette, Jasmin, et al. · HAL · 2
PDF
Satisfiability Modulo Bounded Checking
2017 · Simon Cruanes · Lecture notes in computer science · 2
Detection of First Order Axiomatic Theories
2013 · Guillaume Burel, Simon Cruanes · Lecture notes in computer science · 2
SMT Solving Modulo Tableau and Rewriting Theories
2018 · Bury, Guillaume, Cruanes, Simon, et al. · HAL · 1
Artefact for the Chako Performance Measurements in the paper "Nunchaku: A Modular Higher-Order Model Finder"
2026 · Böving, Henrik, Blanchette, Jasmin Christian, et al. · Zenodo (CERN European Organization for Nuclear Research)
Making Higher-Order Superposition Work
2021 · Vukmirović, Petar, Bentkamp, Alexander, et al. · Zenodo (CERN European Organization for Nuclear Research)
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data
2020 · Vukmirovivc, Petar, Blanchette, Jasmin, et al. · Zenodo (CERN European Organization for Nuclear Research)
Superposition for Lambda-Free Higher-Order Logic — Supplementary Material for the Journal Article
2020 · Bentkamp, Alexander, Blanchette, Jasmin, et al. · Zenodo (CERN European Organization for Nuclear Research)
Extending a Brainiac Prover to Lambda-Free Higher-Order Logic
2019 · Vukmirović, Petar, Blanchette, Jasmin Christian, et al. · HAL
PDF
Works count: 33
Citation count: 443
H-index: 11
I10-index: 11
Year
Topic
Type