SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs - Tirelli, Cristian; Sapriza, Juan; Alvarez, Ruben Podriguez; Ferretti, Lorenzo; Denkinger, Benoit; Ansaloni, Giovanni; Calero, Jose Miranda; Atienza, David; Pozzi, Laura (Acm Journal On Emerging Technologies In Computing Systems, 2024)