Peter Stuckey


If you made any changes in Pure these will be visible here soon.

Research Output 2005 2017

  • 8 Conference Paper
  • 5 Article
  • 1 Chapter (Book)
Chapter (Book)

MiniZinc with strings

Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer-Verlag London Ltd., p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review