BibTeX records: Francesco Contaldo

• > Home > Persons > Francesco Contaldo

@inproceedings{DBLP:conf/cpaior/ContaldoTS20,
  author       = {Francesco Contaldo and
                  Patrick Trentin and
                  Roberto Sebastiani},
  editor       = {Emmanuel Hebrard and
                  Nysret Musliu},
  title        = {From MiniZinc to Optimization Modulo Theories, and Back},
  booktitle    = {Integration of Constraint Programming, Artificial Intelligence, and
                  Operations Research - 17th International Conference, {CPAIOR} 2020,
                  Vienna, Austria, September 21-24, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12296},
  pages        = {148--166},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-58942-4\_10},
  doi          = {10.1007/978-3-030-58942-4\_10},
  timestamp    = {Tue, 22 Sep 2020 17:23:47 +0200},
  biburl       = {https://dblp.org/rec/conf/cpaior/ContaldoTS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-01476,
  author       = {Francesco Contaldo and
                  Patrick Trentin and
                  Roberto Sebastiani},
  title        = {From MiniZinc to Optimization Modulo Theories, and Back (Extended
                  Version)},
  journal      = {CoRR},
  volume       = {abs/1912.01476},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.01476},
  eprinttype    = {arXiv},
  eprint       = {1912.01476},
  timestamp    = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-01476.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ictcs/ContaldoBD17,
  author       = {Francesco Contaldo and
                  Marco De Bortoli and
                  Agostino Dovier},
  editor       = {Dario Della Monica and
                  Aniello Murano and
                  Sasha Rubin and
                  Luigi Sauro},
  title        = {Optimization of a Compiler from {PDDL} to Picat (Short Paper)},
  booktitle    = {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), Naples, Italy, September 26-28, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1949},
  pages        = {281--285},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-1949/CILCpaper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:17 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/ContaldoBD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}