Login / Signup
Cristian Tirelli
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 3
Top Topics
Sat Solvers
Open Source
Parallel Machines
Scheduling Problem
Top Venues
CoRR
CF
DATE
</>
Publications
</>
Cristian Tirelli
,
Juan Sapriza
,
Rubén Rodríguez Álvarez
,
Lorenzo Ferretti
,
Benoît W. Denkinger
,
Giovanni Ansaloni
,
Jose Angel Miranda Calero
,
David Atienza
,
Laura Pozzi
SAT-based Exact Modulo Scheduling Mapping for Resource-Constrained CGRAs.
CoRR
(2024)
Cristian Tirelli
,
Lorenzo Ferretti
,
Laura Pozzi
SAT-MapIt: A SAT-based Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures.
DATE
(2023)
Cristian Tirelli
,
Lorenzo Ferretti
,
Laura Pozzi
SAT-MapIt: An Open Source Modulo Scheduling Mapper for Coarse Grain Reconfigurable Architectures.
CF
(2023)