EasyChair Smart SlideUser guide
Author: Jasmin Christian Blanchette

This page shows all presentations of this author published in EasyChair Smart Slide.

Verified Given Clause Procedures

Verified Given Clause Procedures

Jasmin Blanchette, Qi Qiu and Sophie Tourret

Lambda-Superposition: from Theory to Trophy

Lambda-Superposition: from Theory to Trophy

Jasmin Blanchette

Superposition with Lambdas

Superposition with Lambdas

Alexander Bentkamp, Jasmin Christian Blanchette, Sophie Tourret, Petar Vukmirović and Uwe Waldmann

Superposition with Datatypes and Codatatypes

Superposition with Datatypes and Codatatypes

Jasmin Christian Blanchette, Nicolas Peltier and Simon Robillard

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Formalizing Bachmair and Ganzinger's Ordered Resolution Prover

Anders Schlichtkrull, Jasmin Christian Blanchette, Dmitriy Traytel and Uwe Waldmann

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

A Verified SAT Solver with Watched Literals Using Imperative HOL (Extended Abstract)

Mathias Fleury, Jasmin Christian Blanchette and Peter Lammich

Superposition for Lambda-Free Higher-Order Logic

Superposition for Lambda-Free Higher-Order Logic

Alexander Bentkamp, Jasmin Christian Blanchette, Simon Cruanes and Uwe Waldmann

Presentations in this collection: 7
Copyright © 2002 – 2026 EasyChair