Sophie Tourret

Homepages 🌐

• https://www.mpi-inf.mpg.de/departments/automation-of-logic/people/sophie-tourret/

E-Mails 📧

• ed.gpm.fni-ipm@terruots

Entries

2023

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

A Comprehensive Framework for Saturation Theorem Proving

by Sophie Tourret 🌐

Apr 09