@misc{indiciae690e30a69e81,
  title = {SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs},
  author = {Cristian Tirelli and Juan Sapriza and Rubén Rodríguez Álvarez and Lorenzo Ferretti and Benoît Denkinger and Giovanni Ansaloni and José Miranda Calero and David Atienza and Laura Pozzi},
  year = {2024},
  url = {https://arxiv.org/abs/2402.12834},
  note = {Source identifier: 2402.12834}
}