CV Accueil - Archive ouverte HAL

	First-order automated reasoning with theories: when deduction modulo theory meets practice Guillaume Burel , Guillaume Bury , Raphaël Cauderlier , David Delahaye , Pierre Halmagrand Journal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩ Article dans une revue hal-02305831v1

	SMT Solving Modulo Tableau and Rewriting Theories Guillaume Bury , Simon Cruanes , David Delahaye SMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom Communication dans un congrès hal-02083232v1
	An Automation-Friendly Set Theory for the B Method Guillaume Bury , Simon Cruanes , David Delahaye , Pierre-Louis Euvrard ABZ 2018 - 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Jun 2018, Southampton, United Kingdom. pp.409-414, ⟨10.1007/978-3-319-91271-4_32⟩ Communication dans un congrès hal-02082755v1
	Automated Deduction in the B Set Theory using Typed Proof Search and Deduction Modulo Guillaume Bury , David Delahaye , Damien Doligez , Pierre Halmagrand , Olivier Hermant LPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58 Communication dans un congrès hal-01204701v2
	Integrating Simplex with Tableaux Guillaume Bury , David Delahaye Automated Reasoning with Analytic Tableaux and Related Methods, Sep 2015, Wrowlaw, Poland. pp.86-101, ⟨10.1007/978-3-319-24312-2_7⟩ Communication dans un congrès hal-01215490v1

David Delahaye