We stand with Ukraine  

Francesco Contaldo

According to our database1, Francesco Contaldo authored at least 3 papers between 2017 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
From MiniZinc to Optimization Modulo Theories, and Back.
[BibTeX]
[DOI]
Francesco Contaldo
,
Patrick Trentin
,
Roberto Sebastiani
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

2019
From MiniZinc to Optimization Modulo Theories, and Back (Extended Version).
[BibTeX]
[DOI]
Francesco Contaldo
,
Patrick Trentin
,
Roberto Sebastiani
CoRR, 2019

2017
Optimization of a Compiler from PDDL to Picat (Short Paper).
[BibTeX]
[DOI]
Francesco Contaldo
,
Marco De Bortoli
,
Agostino Dovier
Proceedings of the Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic co-located with the 2017 IEEE International Workshop on Measurements and Networking (2017 IEEE M&N), 2017


  Loading...