Improving scalability and reusability of differential cryptanalysis models using constraint
programming / par Loïc Rouquette ; sous la dir. de Christine Solnon et de Marine
Minier [Thèse doctorat : Informatique : Lyon, INSA : 2022]
Interprétation abstraite en programmation logique avec contraintes / par Christophe
Lecoutre, 1994 [thèse]
Programmation par contraintes et chimie théorique / Adrien Varet ; sous la direction
de Cyril Terrioux. Thèse de doctorat : Informatique : Aix-Marseille : 2022