Analyzing Self-Stabilization of Synchronous Unison via Propositional Satisfiability. - Asma Khoualdia; Sami Cherif; Stéphane Devismes; Léo Robert (CP, 2025)