Sophie Tourret

A Modular Splitting Framework for Saturation Theorem Proving

by Ghilain Bergeron, Florent Krasnopol and Sophie Tourret

Compactness Theorem for First-Order Logic

by Sophie Tourret and Lawrence C. Paulson

Given Clause Loops

by Jasmin Christian Blanchette, Qi Qiu and Sophie Tourret

Extensions to the Comprehensive Framework for Saturation Theorem Proving

by Jasmin Christian Blanchette and Sophie Tourret

A Comprehensive Framework for Saturation Theorem Proving

by Sophie Tourret