Sign in
Talissa Dreossi
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Predicate Logic
Multiscale
Crossword Puzzles
Modeling Language
Top Venues
CILC
</>
Publications
</>
Talissa Dreossi
Exploring ILASP Through Logic Puzzles Modelling.
CILC
(2023)
Lorenzo Cian
,
Talissa Dreossi
,
Agostino Dovier
Modeling and Solving the Rush Hour puzzle.
CILC
(2022)