Mathias Fleury

Available identifiers

zbMath Open fleury.mathiasMaRDI QIDQ287337

List of research outcomes

Publication	Date of Publication	Type
Mining definitions in Kissat with Kittens	2023-10-30	Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases	2022-08-30	Paper
Efficient all-UIP learned clause minimization	2022-03-22	Paper
Reliable reconstruction of fine-grained proofs in a proof assistant	2021-12-01	Paper
Distributed cube and conquer with Paracooba	2021-04-07	Paper
https://portal.mardi4nfdi.de/entity/Q5111307	2020-05-26	Paper
SPASS-SATT. A CDCL(LA) solver	2020-03-10	Paper
Scalable fine-grained proofs for formula processing	2020-03-03	Paper
A verified SAT solver framework with learn, forget, restart, and incrementality	2018-08-21	Paper
Foundational (co)datatypes and (co)recursion for higher-order logic	2018-01-04	Paper
A Verified SAT Solver Framework with Learn, Forget, Restart, and Incrementality	2016-09-05	Paper
Semi-intelligible Isar proofs from machine-generated proofs	2016-05-26	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Mathias Fleury