FAIR — MaPSART

MaPSART — Massive Parallelism Serving Automated Reasoning Tasks was part of FAIR — Future Artificial Intelligence Research, the national partnership on artificial intelligence funded by the Italian Ministry of University and Research through the PNRR. The project ran from 2024 to 2025.
IOLab researchers contributed optimization and algorithmic expertise to the study of scalable methods for automated reasoning, connecting the laboratory’s work on artificial intelligence, combinatorial search, and high-performance computational methods.