Regional controllability of cellular automata as a SAT problem. - Bagnoli, Franco; Dridi, Sara; Fatès, Nazim (Natural Computing, 2026)