@misc{indiciaeac90cc300a4c,
  title = {SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures},
  author = {Cristian Tirelli and Lorenzo Ferretti and Laura Pozzi},
  year = {2025},
  doi = {10.23919/date56975.2023.10137123},
  url = {https://arxiv.org/abs/2512.02875},
  note = {Source identifier: 2512.02875}
}