MiniZinc with Strings

Roberto Amadini; Pierre Flener; Justin Pearson; Joseph D Scott; Peter J Stuckey; Guido Tack

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

DOI: 10.1007/978-3-319-63139-4_4

University of Melbourne Researchers

Roberto Amadini Author Computing and Information Systems

Peter Stuckey Author Computing and Information Systems

Related Projects (2)

Effective Software Vulnerability Detection For Web Services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

Effective Software Vulnerability Detection For Web Services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

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.