dr. Jasmin Christian Blanchette

Search results

• Extending a Brainiac Prover to Lambda-Free Higher-Order Logic -- Evalution Data

  Vukmirovivc, P. (Creator), Blanchette, J. C. (Creator), Schulz, S. (Creator) & Cruanes, S. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4045452, https://zenodo.org/record/4045452

  Dataset

• SAT-Inspired Higher-Order Eliminations

  Blanchette, J. C. (Contributor) & Vukmirović, P. (Contributor), Zenodo, 2022

  DOI: 10.5281/zenodo.7448169, https://zenodo.org/record/7448169

  Dataset

• Superposition for Lambda-Free Higher-Order Logic — Supplementary Material

  Bentkamp, A. (Contributor), Cruanes, S. (Contributor), Blanchette, J. C. (Contributor) & Waldmann, U. (Contributor), Unknown Publisher, 30 Jun 2018

  DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512

  Dataset

• Superposition with Lambdas - Evaluation Data

  Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Tourret, S. (Creator), Vukmirovic, P. (Creator) & Waldmann, U. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.4032970, https://zenodo.org/record/4032970

  Dataset

• Superposition for Lambda-Free Higher-Order Logic — Supplementary Material

  Bentkamp, A. (Contributor), Blanchette, J. C. (Contributor), Cruanes, S. (Contributor) & Waldmann, U. (Contributor), Zenodo, 2018

  DOI: 10.5281/zenodo.3975512, https://zenodo.org/record/3975512

  Dataset

• Experimental data for the paper "Scalable Fine-Grained Proofs for Formula Processing"

  Barbosa, H. (Contributor), Blanchette, J. C. (Contributor) & Fontaine, P. (Contributor), Zenodo, 2017

  DOI: 10.5281/zenodo.582482, https://zenodo.org/record/582482

  Dataset

• Superposition for Lambda-Free Higher-Order Logic — Supplementary Material for the Journal Article

  Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Cruanes, S. (Creator) & Waldmann, U. (Creator), Zenodo, 2020

  DOI: 10.5281/zenodo.3992618, https://zenodo.org/record/3992618

  Dataset

• SAT-Inspired Eliminations for Superposition

  Vukmirovic, P. (Creator), Blanchette, J. C. (Creator) & Heule, M. J. H. (Creator), Zenodo, 2021

  DOI: 10.5281/zenodo.4695128, https://zenodo.org/record/4695128

  Dataset

• SAT-Inspired Higher-Order Eliminations

  Blanchette, J. C. (Creator) & Vukmirović, P. (Creator), Zenodo, 2022

  DOI: 10.5281/zenodo.6997515, https://zenodo.org/record/6997515

  Dataset

• Making Higher-Order Superposition Work

  Vukmirović, P. (Creator), Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Cruanes, S. (Creator), Nummelin, V. (Creator) & Tourret, S. (Creator), Zenodo, 2021

  DOI: 10.5281/zenodo.4534829, https://zenodo.org/record/4534829

  Dataset

• Superposition for Full Higher-Order Logic

  Bentkamp, A. (Creator), Blanchette, J. C. (Creator), Tourret, S. (Creator) & Vukmirovic, P. (Creator), Zenodo, 2021

  DOI: 10.5281/zenodo.4534759, https://zenodo.org/record/4534759

  Dataset