Mathias Fleury

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Pastèque and Nuss-Checker Formal Methods in System Design	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 Formal Methods in System Design	2023-10-30	Paper
Better Decision Heuristics in CDCL through Local Search and Target Phases Journal of Artificial Intelligence Research	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
scientific article; zbMATH DE number 7204430 (Why is no real title available?)	2020-05-26	Paper
SPASS-SATT. A CDCL(LA) solver	2020-03-10	Paper
Scalable fine-grained proofs for formula processing Journal of Automated Reasoning	2020-03-03	Paper
A verified SAT solver framework with learn, forget, restart, and incrementality Journal of Automated Reasoning	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 Automated Reasoning	2016-09-05	Paper
Semi-intelligible Isar proofs from machine-generated proofs Journal of Automated Reasoning	2016-05-26	Paper

Research outcomes over time

This page was built for person: Mathias Fleury