Francesco Contaldo

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 3

Top Topics

Modulo Theories

Planning Problems

Optimization Problems

Software Systems

Top Venues

Publications

Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
From MiniZinc to Optimization Modulo Theories, and Back. CPAIOR (2020)
Francesco Contaldo, Patrick Trentin, Roberto Sebastiani
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version). CoRR (2019)
Francesco Contaldo, Marco De Bortoli, Agostino Dovier
Optimization of a Compiler from PDDL to Picat (Short Paper). ICTCS/CILC (2017)