Peter Stuckey

Professor

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

Research Output 2011 2017

  • 8 Conference Paper
  • 2 Article
  • 1 Chapter (Book)
Filter
Chapter (Book)
2017

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)