Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Image document

A Comprehensive Framework for Saturation Theorem Proving

Uwe Waldmann , Sophie Tourret , Simon Robillard , Jasmin Blanchette
Journal of Automated Reasoning, 2022, 66 (4), pp.499-539. ⟨10.1007/s10817-022-09621-7⟩
Journal articles hal-03909983v1
Image document

A Comprehensive Framework for Saturation Theorem Proving

Uwe Waldmann , Sophie Tourret , Simon Robillard , Jasmin Blanchette
IJCAR 2020 (Part I) International Joint Conference on Automated Reasoning, Jun 2020, Paris, France. pp.316-334, ⟨10.1007/978-3-030-51074-9_18⟩
Conference papers hal-03106208v1
Image document

Superposition with Lambdas

Alexander Bentkamp , Jasmin Blanchette , Sophie Tourret , Petar Vukmirović , Uwe Waldmann
Journal of Automated Reasoning, 2021, 65 (7), pp.893-940. ⟨10.1007/s10817-021-09595-y⟩
Journal articles hal-03485185v1
Image document

A modular Isabelle framework for verifying saturation provers

Sophie Tourret , Jasmin Blanchette
CPP 2021 - 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, Jan 2021, Virtual, Denmark. pp.224-237, ⟨10.1145/3437992.3439912⟩
Conference papers hal-03364015v1
Image document

On a Notion of Relevance

Fajar Haifani , Patrick Koopmann , Sophie Tourret , Christoph Weidenbach
Proceedings of the 33rd International Workshop on Description Logics (DL 2020), Sep 2020, Online, Greece
Conference papers hal-03141063v1