Saturation_Framework Dependents

2023

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

by Martin Desharnais

Apr 20

Given Clause Loops

by Jasmin Christian Blanchette, Qi Qiu and Sophie Tourret

Jan 25

2020

Extensions to the Comprehensive Framework for Saturation Theorem Proving

by Jasmin Christian Blanchette and Sophie Tourret

Aug 25