Martin Desharnais-Schäfer

Homepages 🌐

• https://martin.desharnais.me

E-Mails 📧

• ed.uml.ifi@refeahcs-sianrahsed.nitram

Entries

2026

A Formalization of the Exponential Blowup in the Transformations between CNF and DNF

by Leon Raffael Schulz, Martin Desharnais-Schäfer and Jan Johannsen

Jun 15

2024

SCL Simulates Nonredundant Ground Resolution

by Martin Desharnais-Schäfer

Oct 31

A Modular Formalization of Superposition

by Martin Desharnais-Schäfer and Balazs Toth

Oct 24

Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering

by Martin Desharnais-Schäfer

Oct 24

Abstract Substitution

by Martin Desharnais-Schäfer and Balazs Toth

Sep 16

2023

A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic

by Martin Desharnais-Schäfer

Apr 20

2020

Inline Caching and Unboxing Optimization for Interpreters

by Martin Desharnais-Schäfer

Dec 07

A Generic Framework for Verified Compilers

by Martin Desharnais-Schäfer

Feb 10