SMT-Based Automation for Overwhelming Truth. - David Baelde; Stéphanie Delaune; Stanislas Riou (CSF, 2025)