Conference Proceedings

MiniZinc with Strings

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D Scott, Peter J Stuckey, Guido Tack, MV Hermenegildo, P LopezGarcia

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | SPRINGER INTERNATIONAL PUBLISHING AG | Published : 2017

Grants

Awarded by Australian Research Council (ARC)


Awarded by Swedish Research Council (VR)


Funding Acknowledgements

The authors from the University of Melbourne are supported by the Australian Research Council (ARC) through Linkage Project Grant LP140100437. The authors in Sweden are supported by the Swedish Research Council (VR) through Project Grant 2015-04910. Many thanks to Gustav Bjordal for having run the experiments on his local-search backend [7] for MiniZinc. Many thanks also to all the referees and to the audience of LOPSTR 2016 for their thoughtful feedback.