C-M. Li, F. Xiao, M. Luo, F. Manya, Z. Lu, Y. Li, ‘Clause vivification by unit propagation in CDCL SAT Solvers‘, Artificial Intelligence, Volume 279, 2020
M. Trimoska, S. Ionica, G. Dequen, ‘A SAT-based Approach for Index Calculus on Binary Elliptic Curves‘, Progress in cryptology – AFRICACRYPT, 2020
C. Mauger, G. Le Mahec, G. Dequen, ‘Modeling and Evaluation of k-anonymization Metrics‘, Privacy Preserving Artificial Intelligence Workshop of AAAI, 2020
E. Bretagne, D. Durand, J. Da Fonseca, E. Serra, ‘Application de la robotique humanoïde au traitement de la douleur‘, 10ème conférence Francophone en Gestion et Ingénierie des Systèmes Hospitaliers, 2020.