Simon Cruanes

According to our database, Simon Cruanes authored at least 17 papers between 2013 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

Extending a brainiac prover to lambda-free higher-order logic.

Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz

Int. J. Softw. Tools Technol. Transf., 2022

Making Higher-Order Superposition Work.

Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret

J. Autom. Reason., 2022

2021

Superposition for Lambda-Free Higher-Order Logic.

Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann

Log. Methods Comput. Sci., 2021

2020

The Imandra Automated Reasoning System (System Description).

Grant O. Passmore, Simon Cruanes, Denis Ignatovich, Dave Aitken, Matt Bray, Elijah Kagan, Kostya Kanishev, Ewen Maclean, Nicola Mometto

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

Faster, Higher, Stronger: E 2.3.

Stephan Schulz, Simon Cruanes, Petar Vukmirovic

Proceedings of the Automated Deduction - CADE 27, 2019

2018

An Automation-Friendly Set Theory for the B Method.

Guillaume Bury, Simon Cruanes, David Delahaye, Pierre-Louis Euvrard

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2017

Language and Proofs for Higher-Order SMT (Work in Progress).

Haniel Barbosa, Jasmin Christian Blanchette, Simon Cruanes, Daniel El Ouraoui, Pascal Fontaine

Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving, 2017

Superposition with Structural Induction.

Simon Cruanes

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Making Automatic Theorem Provers more Versatile.

Simon Cruanes

Proceedings of the ARCADE 2017, 2017

Satisfiability Modulo Bounded Checking.

Simon Cruanes

Proceedings of the Automated Deduction - CADE 26, 2017

2016

Extending Nunchaku to Dependent Type Theory.

Simon Cruanes, Jasmin Christian Blanchette

Proceedings of the Proceedings First International Workshop on Hammers for Type Theories, 2016

Model Finding for Recursive Functions in SMT.

Andrew Reynolds, Jasmin Christian Blanchette, Simon Cruanes, Cesare Tinelli

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Extending Superposition with Integer Arithmetic, Structural Induction, and Beyond. (Extensions de la Superposition pour l'Arithmétique Linéaire Entière, l'Induction Structurelle, et bien plus encore).

Simon Cruanes

PhD thesis, 2015

2014

Logtk: A Logic ToolKit for Automated Reasoning and its Implementation.

Simon Cruanes

Proceedings of the 4th Workshop on Practical Aspects of Automated Reasoning, 2014

The Semantics of Datalog for the Evidential Tool Bus - (Extended Abstract).

Simon Cruanes, Stijn Heymans, Ian A. Mason, Sam Owre, Natarajan Shankar

Proceedings of the Specification, Algebra, and Software, 2014

2013

Tool Integration with the Evidential Tool Bus.

Simon Cruanes, Grégoire Hamon, Sam Owre, Natarajan Shankar

Proceedings of the Verification, 2013

Detection of First Order Axiomatic Theories.

Guillaume Burel, Simon Cruanes

Proceedings of the Frontiers of Combining Systems, 2013