Mathias Fleury

Available identifiers

Publication	Date of Publication	Type
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker	2025-01-13	Paper
Faster LRAT checking than solving with CaDiCaL	2024-11-26	Paper
A More Pragmatic CDCL for IsaSAT and Targetting LLVM (Short Paper)	2024-04-26	Paper
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

This page was built for person: Mathias Fleury