Accueil

Derniers articles

Voir plus...

Dernières publications

Loïc RouquetteChristine Solnon. AbstractXOR: A global constraint dedicated to differential cryptanalysis. In Proc. of the 26th International Conference on Principles and Practice of Constraint Programming, Louvain-la-Neuve, Belgium, 2020.
Loïc RouquetteChristine Solnon. Contrainte globale abstractXOR: résultats de complexité et algorithmes de propagation. In Journées Francophones de Programmation par Contraintes (JFPC), Albi, France, 2019.