TY  - RPRT
TI  - SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures
AU  - Cristian Tirelli
AU  - Lorenzo Ferretti
AU  - Laura Pozzi
PY  - 2025
DO  - 10.23919/date56975.2023.10137123
UR  - https://arxiv.org/abs/2512.02875
ID  - 2512.02875
ER  -