SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs.
Cristian TirelliJuan SaprizaRubén Rodríguez ÁlvarezLorenzo FerrettiBenoît W. DenkingerGiovanni AnsaloniJose Angel Miranda CaleroDavid AtienzaLaura PozziPublished in: CoRR (2024)