Regional controllability of cellular automata as a SAT problem
Crossref DOI link: https://doi.org/10.1007/s11047-025-10061-6
Published Online: 2026-01-05
Published Print: 2026-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bagnoli, Franco
Dridi, Sara
Fatès, Nazim
Text and Data Mining valid from 2026-01-05
Version of Record valid from 2026-01-05
Article History
Received: 23 March 2025
Accepted: 29 September 2025
First Online: 5 January 2026
Declarations
:
: The authors declare no competing interests.