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)
2017

A novel approach to string constraint solving

Amadini, R., Gange, G., Stuckey, P. J. & Tack, G. 2017 Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 , p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Context-sensitive dynamic partial order reduction

Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J. 2017 Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Springer-Verlag London Ltd., p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

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

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S. 8 May 2017 Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. 7923707. (Data Compression Conference. Proceedings)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S. 1 Apr 2017 In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

2016

Rail capacity modelling with constraint programming

Harabor, D. & Stuckey, P. J. 2016 Integration of AI and OR Techniques in Constraint Programming - 13th International Conference, CPAIOR 2016, Proceedings. Springer-Verlag London Ltd., Vol. 9676, p. 170-186 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9676)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2014

Local search for a cargo assembly planning problem

Belov, G., Boland, N., Savelsbergh, M. W. P. & Stuckey, P. J. 2014 Integration of AI and OR Techniques in Constraint Programming - 11th International Conference, CPAIOR 2014, Proceedings. Springer-Verlag London Ltd., Vol. 8451 LNCS, p. 159-175 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8451 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

2013

Automated design of search with composability

Sabharwal, A., Samulowitz, H., Schrijvers, T., Stuckey, P. J. & Tack, G. 2013 Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence. desJardins, M. & Littman, M. L. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 107-109 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

2011

CP and IP approaches to cancer radiotherapy delivery optimization

Baatar, D., Boland, N., Brand, S. & Stuckey, P. J. Apr 2011 In : Constraints. 16, 2, p. 173-194 22 p.

Research output: Contribution to journalArticleResearchpeer-review

Memoizing a monadic mixin DSL

Wuille, P., Schrijvers, T., Samulowitz, H., Tack, G. & Stuckey, P. J. 2011 Proceedings of the 20th International Workshop on Functional and Constraint Logic Programming. Kuchen, H. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 68-85 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6816 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

Search combinators

Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J. 2011 Proceedings of the 17th International Conference on the Principles and Practice of Constraint Programming. Lee, J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 774-788 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review