ICTAI 2025: Best Paper award for Arnaud Malapert, Marie Pelleau, Margaux Schmied, and Davide Fissore
- Award
- Research
Published on November 18, 2025
–
Updated on November 18, 2025
Dates
on the November 5, 2025
November 3-5, 2025
Location
Athens, Greece
The paper “Cryptarithmetic Playtime” was awarded during the 37th International Conference on Tools with Artificial Intelligence, which took place in Athens (Greece).
Abstract: A cryptarithm is a mathematical and logical puzzle in which words form an equation where the letters represent numbers to be determined in a given base. This problem is popular in recreational mathematics, education, and constraint programming. We propose a general, efficient and easy-to-use approach to solve this NP-Complete problem, as well as a hierarchical approach for their generation. The experimental evaluation has generated a large, diverse, and remarkable collection of new cryptarithms.
Margaux Schmied, one of the co-authors, is 3IA Ph.D. (Chair of Jean-Charles Régin).
Margaux Schmied, one of the co-authors, is 3IA Ph.D. (Chair of Jean-Charles Régin).
