Self-reconfiguration of manufacturing systems using Satisfiability Modulo Theory. - Douha Macherki; Thierno M. L. Diallo; Jean-Yves Choley; Maher Barkallah; Mohamed Haddar (Int. J. Prod. Res., 2026)