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

Research Output 2005 2018

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, 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

2013

An introduction to search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2013, Logic-Based Program Synthesis and Transformation. Albert, E. (ed.). Berlin Germany: Springer, p. 2 - 16 15 p.

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

2006

Views and iterators for generic constraint implementations

Schulte, C. & Tack, G., 2006, Recent Advances in Constraints. Hnich, B., Carlsson, M., Fages, F. & Rossi, F. (eds.). Berlin Germany: Springer, p. 118 - 132 15 p.

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