Mathieu Roisin, Pierre-Alain Yvars, Bernard Riera. Constraint Programming for Logic controller Synthesis. 2024 10th International Conference on Control, Decision and Information Technologies (CoDIT), Jul 2024, Vallette, Malta. pp.1843-1848, ⟨10.1109/codit62066.2024.10708360⟩. ⟨hal-04914353⟩