Uso de la programación con restricciones para resolver teoremas matemáticos | de Yan Georget | enero de 2025
Estudio de caso: el problema de la existencia de cuasigrupos Algunos teoremas matemáticos se pueden resolver mediante exploración combinatoria. En este artículo nos centramos en el problema de la existencia…