Login / Signup
Greta Lanzarotto
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Sat Solving
Object Model
Sensitivity Analysis
Website
Top Venues
CoRR
MCM
CPAIOR
</>
Publications
</>
Greta Lanzarotto
,
Ludovico Pernazza
Extended Vuza Canons.
MCM
(2022)
Gennaro Auricchio
,
Luca Ferrarini
,
Stefano Gualandi
,
Greta Lanzarotto
,
Ludovico Pernazza
A SAT Encoding to Compute Aperiodic Tiling Rhythmic Canons.
CPAIOR
(2022)
Gennaro Auricchio
,
Luca Ferrarini
,
Greta Lanzarotto
An Integer Linear Programming Model for Tilings.
CoRR
(2021)