Folgen
Mathias Fleury
Mathias Fleury
Bestätigte E-Mail-Adresse bei informatik.uni-freiburg.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
CaDiCaL, Kissat, Paracooba, Plingeling and Treengeling entering the SAT Competition 2020
A Biere, K Fazekas, M Fleury, M Heisinger
1562020
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
672018
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
362016
Scalable fine-grained proofs for formula processing
H Barbosa, JC Blanchette, M Fleury, P Fontaine
Journal of Automated Reasoning 64 (3), 485-510, 2020
332020
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
332018
Optimizing a verified SAT solver
M Fleury
NASA Formal Methods Symposium, 148-165, 2019
172019
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
162017
Distributed cube and conquer with paracooba
M Heisinger, M Fleury, A Biere
International Conference on Theory and Applications of Satisfiability …, 2020
132020
Reconstructing veriT proofs in Isabelle/HOL
M Fleury, HJ Schurr
arXiv preprint arXiv:1908.09480, 2019
132019
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
122021
SPASS-SATT
M Bromberger, M Fleury, S Schwarz, C Weidenbach
International Conference on Automated Deduction, 111-122, 2019
112019
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
102017
Reliable Reconstruction of Fine-grained Proofs in a Proof Assistant.
HJ Schurr, M Fleury, M Desharnais
CADE 28, 450-467, 2021
92021
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
92019
Formalization of logical calculi in Isabelle/HOL
M Fleury
Universität des Saarlandes Saarbrücken, 2020
72020
Pacheck and Pastèque, checking practical algebraic calculus proofs
D Kaufmann, M Fleury, A Biere
FMCAD 2020 1, 264-269, 2020
72020
Alethe: Towards a generic SMT proof format
HJ Schurr, M Fleury, H Barbosa, P Fontaine
arXiv preprint arXiv:2107.02354, 2021
62021
Chasing target phases
A Biere, M Fleury
Proceedings of Pragmatics of (SAT), 2020
62020
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
62015
IsaFoL: Isabelle formalization of logic
JC Blanchette, M Fleury, A Schlichtkrull, D Traytel
URL: https://bitbucket. org/isafol/isafol, 0
5
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20