Filter your results
- 5
- 2
- 1
- 1
- 1
- 5
- 1
- 1
- 1
- 1
- 1
- 4
- 1
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 5
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
5 Results
|
|
sorted by
|
|
mSAT:An OCaml SAT SolverOCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom
Poster communications
hal-01670765v1
|
||
|
First-Order Automated Reasoning with Theories: When Deduction Modulo Theory Meets PracticeJournal of Automated Reasoning, 2020, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Journal articles
hal-02305831v1
|
||
|
Automated Deduction in the B Set Theory using Typed Proof Search and Deduction ModuloLPAR 20 : 20th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2015, Suva, Fiji. pp 42-58
Conference papers
hal-01204701v2
|
||
|
Centralizing equality reasoning in MCSAT16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
Conference papers
hal-01935591v1
|
||
|
33èmes Journées Francophones des Langages ApplicatifsBooks hal-03689075v1 |