| CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020 A Biere, K Fazekas, M Fleury, M Heisinger | 156 | 2020 |
| A verified SAT solver framework with learn, forget, restart, and incrementality JC Blanchette, M Fleury, P Lammich, C Weidenbach Journal of Automated Reasoning 61 (1), 333-365, 2018 | 67 | 2018 |
| Semi-intelligible Isar proofs from machine-generated proofs JC Blanchette, S Böhme, M Fleury, SJ Smolka, A Steckermeier Journal of Automated Reasoning 56 (2), 155-200, 2016 | 36 | 2016 |
| Scalable fine-grained proofs for formula processing H Barbosa, JC Blanchette, M Fleury, P Fontaine Journal of Automated Reasoning 64 (3), 485-510, 2020 | 33 | 2020 |
| A verified SAT solver with watched literals using imperative HOL M Fleury, JC Blanchette, P Lammich Proceedings of the 7th ACM SIGPLAN International Conference on Certified …, 2018 | 33 | 2018 |
| Optimizing a verified SAT solver M Fleury NASA Formal Methods Symposium, 148-165, 2019 | 17 | 2019 |
| Foundational (co) datatypes and (co) recursion for higher-order logic J Biendarra, JC Blanchette, A Bouzy, M Desharnais, M Fleury, J Hölzl, ... International Symposium on Frontiers of Combining Systems, 3-21, 2017 | 16 | 2017 |
| Distributed cube and conquer with paracooba M Heisinger, M Fleury, A Biere International Conference on Theory and Applications of Satisfiability …, 2020 | 13 | 2020 |
| Reconstructing veriT proofs in Isabelle/HOL M Fleury, HJ Schurr arXiv preprint arXiv:1908.09480, 2019 | 13 | 2019 |
| CaDiCaL, Kissat, Paracooba entering the SAT competition 2021 A Biere, M Fleury, M Heisinger Proceedings of SAT Competition 2021: Solver and Benchmark Descriptions 2021, 1, 2021 | 12 | 2021 |
| SPASS-SATT M Bromberger, M Fleury, S Schwarz, C Weidenbach International Conference on Automated Deduction, 111-122, 2019 | 11 | 2019 |
| Nested multisets, hereditary multisets, and syntactic ordinals in Isabelle/HOL JC Blanchette, M Fleury, D Traytel FSCD 2017: 2nd International Conference on Formal Structures for Computation …, 2017 | 10 | 2017 |
| Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant. HJ Schurr, M Fleury, M Desharnais CADE 28, 450-467, 2021 | 9 | 2021 |
| Better SMT proofs for easier reconstruction H Barbosa, J Blanchette, M Fleury, P Fontaine, HJ Schurr AITP 2019-4th Conference on Artificial Intelligence and Theorem Proving, 2019 | 9 | 2019 |
| Formalization of logical calculi in Isabelle/HOL M Fleury Universität des Saarlandes Saarbrücken, 2020 | 7 | 2020 |
| Pacheck and Pastèque, checking practical algebraic calculus proofs D Kaufmann, M Fleury, A Biere FMCAD 2020 1, 264-269, 2020 | 7 | 2020 |
| Alethe: Towards a generic SMT proof format HJ Schurr, M Fleury, H Barbosa, P Fontaine arXiv preprint arXiv:2107.02354, 2021 | 6 | 2021 |
| Chasing target phases A Biere, M Fleury Proceedings of Pragmatics of (SAT), 2020 | 6 | 2020 |
| Formalisation of ground inference systems in a proof assistant M Fleury, J Blanchette, D Traytel M. Sc. thesis, École normale supérieure de Rennes, 2015 | 6 | 2015 |
| IsaFoL: Isabelle formalization of logic JC Blanchette, M Fleury, A Schlichtkrull, D Traytel URL: https://bitbucket. org/isafol/isafol, 0 | 5 | |
Jasmin BlanchetteVrije Universiteit AmsterdamBestätigte E-Mail-Adresse bei vu.nl
