SUNNY-CP and the MiniZinc challenge

Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro
January, 2018
PDF Cite DOI URL
Type
Journal article
Publication
TPLP