conf.researchr.org / Alessio Mansutti
Registered user since Thu 2 Oct 2025
Name:Alessio Mansutti
Country:Spain
Affiliation:IMDEA Software Institute
Personal website: https://alessiomansutti.github.io/
Research interests:Computer Algebra, Logic in Computer Science, Integer Programming, Arithmetic Theories
Contributions