TY  - RPRT
TI  - SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs
AU  - Cristian Tirelli
AU  - Juan Sapriza
AU  - Rubén Rodríguez Álvarez
AU  - Lorenzo Ferretti
AU  - Benoît Denkinger
AU  - Giovanni Ansaloni
AU  - José Miranda Calero
AU  - David Atienza
AU  - Laura Pozzi
PY  - 2024
UR  - https://arxiv.org/abs/2402.12834
ID  - 2402.12834
ER  -