Jasmin Blanchette

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 32

Top Topics

Automated Deduction

Closure Properties

Theorem Proving

Top Venues

J. Autom. Reason.

Publications

Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule
SAT-Inspired Eliminations for Superposition. ACM Trans. Comput. Log. 24 (1) (2023)
Martin Dvorak, Jasmin Blanchette
Closure Properties of General Grammars - Formally Verified. ITP (2023)
Martin Dvorak, Jasmin Blanchette
Closure Properties of Unrestricted Grammars - Formally Verified. CoRR (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Uwe Waldmann
Complete and Efficient Higher-Order Reasoning via Lambda-Superposition. ACM SIGLOG News 10 (4) (2023)
Visa Nummelin, Jasmin Blanchette, Sander R. Dahmen
Recurrence-Driven Summations in Automated Deduction. FroCoS (2023)
Jasmin Blanchette, Petar Vukmirovic
SAT-Inspired Higher-Order Eliminations. Log. Methods Comput. Sci. 19 (2) (2023)
Jasmin Blanchette, Qi Qiu, Sophie Tourret
Verified Given Clause Procedures. CADE (2023)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Higher-Order Logic. J. Autom. Reason. 67 (1) (2023)
Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Mechanical Mathematicians. Commun. ACM 66 (4) (2023)
Petar Vukmirovic, Jasmin Blanchette, Stephan Schulz
Extending a High-Performance Prover to Higher-Order Logic. TACAS (2) (2023)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
Unifying Splitting. J. Autom. Reason. 67 (2) (2023)
Jasmin Blanchette, Petar Vukmirovic
SAT-Inspired Higher-Order Eliminations. CoRR (2022)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. J. Autom. Reason. 66 (4) (2022)
Martin Desharnais, Petar Vukmirovic, Jasmin Blanchette, Makarius Wenzel
Seventeen Provers Under the Hammer. ITP (2022)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. J. Autom. Reason. 66 (4) (2022)
Petar Vukmirovic, Jasmin Blanchette, Simon Cruanes, Stephan Schulz
Extending a brainiac prover to lambda-free higher-order logic. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Petar Vukmirovic, Jasmin Blanchette, Marijn J. H. Heule
SAT-Inspired Eliminations for Superposition. FMCAD (2021)
Petar Vukmirovic, Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Visa Nummelin, Sophie Tourret
Making Higher-Order Superposition Work. CADE (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CoRR (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. J. Autom. Reason. 65 (7) (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. Log. Methods Comput. Sci. 17 (2) (2021)
Jasmin Blanchette
Message from the New Editor-in-Chief. J. Autom. Reason. 65 (2) (2021)
Gabriel Ebner, Jasmin Blanchette, Sophie Tourret
A Unifying Splitting Framework. CADE (2021)
Sophie Tourret, Jasmin Blanchette
A modular Isabelle framework for verifying saturation provers. CPP (2021)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic
Superposition for Full Higher-order Logic. CADE (2021)
Jasmin Blanchette, Adam Naumowicz
FMM Preface. CICM Workshops (2021)
Alexander Bentkamp, Jasmin Blanchette, Simon Cruanes, Uwe Waldmann
Superposition for Lambda-Free Higher-Order Logic. CoRR (2020)
Anders Schlichtkrull, Jasmin Blanchette, Dmitriy Traytel, Uwe Waldmann
Formalizing Bachmair and Ganzinger's Ordered Resolution Prover. J. Autom. Reason. 64 (7) (2020)
Uwe Waldmann, Sophie Tourret, Simon Robillard, Jasmin Blanchette
A Comprehensive Framework for Saturation Theorem Proving. IJCAR (1) (2020)
Jasmin Blanchette, Sophie Tourret
Extensions to the Comprehensive Framework for Saturation Theorem Proving. Arch. Formal Proofs 2020 (2020)
Jasmin Blanchette, Francis Bordeleau, Alfonso Pierantonio, Nikolai Kosmatov, Gabriele Taentzer, Manuel Wimmer
Introduction to the STAF 2015 special section. Softw. Syst. Model. 18 (1) (2019)
Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann
Superposition with Lambdas. CADE (2019)