Accéder directement au contenu

David Delahaye

1
Documents
Identifiants chercheurs

Présentation

Publications

1169166
Image document

Goéland: A Concurrent Tableau-Based Theorem Prover (System Description)

Julie Cailler , Johann Rosain , David Delahaye , Simon Robillard , Hinde Lilia Bouziane
IJCAR 2022 - 11th International Joint Conference on Automated Reasoning, Aug 2022, Haifa, Israel. pp.359-368, ⟨10.1007/978-3-031-10769-6_22⟩
Communication dans un congrès lirmm-03793406v1