Filtrer vos résultats
- 11
- 7
- 1
- 1
- 1
- 1
- 11
- 2
- 2
- 3
- 1
- 3
- 10
- 1
- 5
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 11
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
11 résultats
|
|
|
triés par
|
|
|
mSAT:An OCaml SAT SolverOCaml Users and Developers Workshop, Sep 2017, Oxford, United Kingdom
Poster de conférence
hal-01670765v1
|
||
|
|
Implementing Polymorphism in Zenon11th International Workshop on the Implementation of Logics (IWIL), Nov 2015, Suva, Fiji
Communication dans un congrès
hal-01243593v1
|
||
|
|
Alt-Ergo-Fuzz: A fuzzer for the Alt-Ergo SMT solver33èmes Journées Francophones des Langages Applicatifs, Jun 2022, Saint-Médard-d'Excideuil, France. pp.235-244
Communication dans un congrès
hal-03626861v1
|
||
|
|
33èmes journées francophones des langages applicatifsOuvrages hal-03689075v1 |
||
|
|
Centralizing equality reasoning in MCSAT16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-01935591v1
|
||
|
|
Integrating rewriting, tableau and superposition into SMTAutomatic Control Engineering. Université Sorbonne Paris Cité, 2019. English. ⟨NNT : 2019USPCC036⟩
Thèse
tel-02612985v1
|
||
|
|
First-order automated reasoning with theories: when deduction modulo theory meets practiceJournal of Automated Reasoning, 2019, 64 (6), pp.1001-1050. ⟨10.1007/s10817-019-09533-z⟩
Article dans une revue
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
Communication dans un congrès
hal-01204701v2
|
||
|
|
An Automation-Friendly Set Theory for the B MethodABZ 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
|
||
|
|
Integrating Simplex with TableauxAutomated 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
|
||
|
|
SMT Solving Modulo Tableau and Rewriting TheoriesSMT 2018 - 16th International Workshop on Satisfiability Modulo Theories, Jul 2018, Oxford, United Kingdom
Communication dans un congrès
hal-02083232v1
|