Martin Desharnais-Schäfer
Homepages 🌐
E-Mails 📧
Entries
2024
Minimal, Maximal, Least, and Greatest Elements w.r.t. Restricted Ordering
by Martin Desharnais-Schäfer
2023
A Formalization of the SCL(FOL) Calculus: Simple Clause Learning for First-Order Logic
by Martin Desharnais-Schäfer