Concepedia

Mathias Fleury

MF

8

Publications

161

Citations

8

H-Index

2014

Active since

Affiliations

Max Planck Institute for Informatics(Current)

Laboratoire Lorrain de Recherche en Informatique et ses Applications

Vrije Universiteit Amsterdam

Johannes Kepler University of Linz

Technical University of Munich

Mathias Fleury is an author at Max Planck Institute for Informatics specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningVerificationFormal MethodsFormal VerificationSatisfiabilityProgram AnalysisProof ComplexityLogic Programming

Publications per year

2014–2022

8

Publications

8

A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality

Jasmin Christian Blanchette, Mathias Fleury, Peter Lammich et al. · Journal of Automated Reasoning · 2018 · 43 citations · Full text

Constraint Solving, Engineering, Automated Reasoning +11

Semi-intelligible Isar Proofs from Machine-Generated Proofs

Jasmin Christian Blanchette, Sascha Böhme, Mathias Fleury et al. · Journal of Automated Reasoning · 2015 · 29 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Scalable Fine-Grained Proofs for Formula Processing

Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury et al. · Journal of Automated Reasoning · 2019 · 20 citations · Full text

Engineering, Automated Reasoning, Proof Complexity +7

Better Decision Heuristics in CDCL through Local Search and Target Phases

Shaowei Cai, Xindi Zhang, Mathias Fleury et al. · Journal of Artificial Intelligence Research · 2022 · 18 citations · Full text

Artificial Intelligence, Mathematical Programming, Engineering +21

A verified SAT solver with watched literals using imperative HOL

Mathias Fleury, Jasmin Christian Blanchette, Peter Lammich · 2018 · 17 citations · Full text

Engineering, Verification, Computer-aided Verification +16

Rows per page

1–5 of 8