Optimization of a Compiler from PDDL to Picat (Short Paper). - Francesco Contaldo; Marco De Bortoli; Agostino Dovier (ICTCS/CILC, 2017)

From MiniZinc to Optimization Modulo Theories, and Back (Extended Version). - Francesco Contaldo; Patrick Trentin; Roberto Sebastiani (CoRR, 2019)

From MiniZinc to Optimization Modulo Theories, and Back. - Francesco Contaldo; Patrick Trentin; Roberto Sebastiani (CPAIOR, 2020)