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
Conference Paper
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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

2011

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 Paper

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 Paper