## 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