Ghilain Bergeron

A Modular Splitting Framework for Saturation Theorem Proving

by Ghilain Bergeron, Florent Krasnopol and Sophie Tourret