Author:Julie Cailler

Publications
Challenging Benchmarks for Diagrammatic Equivalence of Circuits in TPTP and SMT-LIB Julie Cailler, Noé Delorme and Sophie Tourret In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning
A Generic Deskolemization Strategy Johann Rosain, Richard Bonichon, Julie Cailler and Olivier Hermant In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Goéland: a Concurrent Tableau-Based Theorem Prover (System Description) Julie Cailler, Johann Rosain, David Delahaye, Simon Robillard and Hinde Bouziane EasyChair Preprint 8676