Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Image document

mSAT:An OCaml SAT Solver

Guillaume Bury
OCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom
Poster communications hal-01670765v1
Image document

First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets Practice

Guillaume Burel , Guillaume Bury , Raphaël Cauderlier , David Delahaye , Pierre Halmagrand et al.
Journal of Automated Reasoning, 2020, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Journal articles hal-02305831v1
Image document

Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo

Guillaume Bury , David Delahaye , Damien Doligez , Pierre Halmagrand , Olivier Hermant et al.
LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58
Conference papers hal-01204701v2
Image document

Centralizing equality reasoning in MCSAT

François Bobot , Stéphane Graham-Lengrand , Bruno Marre , Guillaume Bury
16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
Conference papers hal-01935591v1
Image document

33èmes Journées Francophones des Langages Applicatifs

Chantal Keller , Timothy Bourke , Sandrine Blazy , Frédéric Bour , Guillaume Bury et al.
Chantal Keller; Timothy Bourke. , pp.1-292, 2022
Books hal-03689075v1