Peter Stuckey

Research output

Research output per year 1986 2006 2008 2011 2012 2013 2014 2015 2016 2018 2019 2020 2021 2022

• 317 Conference Paper
• 120 Article
• 10 Chapter (Book)
• 5 Paper
• 12 More
  • 3 Book
  • 3 Foreword / Postscript
  • 1 Commissioned Report
  • 1 Edited Book
  • 1 Chapter (Report)
  • 1 Comment / Debate
  • 1 Editorial
  • 1 Review Article

Research output per year

Research output per year

Search results

• 2019

  Information-theoretic inference of an optimal dictionary of protein supersecondary structures

  Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  2 Citations (Scopus)
• 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 proceeding › Chapter (Book) › Research › peer-review
  9 Citations (Scopus)
• 2015

  A satisfiability solving approach

  Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 2015, Handbook of Project Management and Scheduling Vol. 1. Schwindt, C. & Zimmermann, J. (eds.). Cham Switzerland: Springer, p. 135 - 160 26 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  4 Citations (Scopus)

• Exact and heuristic methods for the resource-constrained net present value problem

  Gu, H., Schutt, A., Stuckey, P. J., Wallace, M. G. & Chu, G., 2015, Handbook of Project Management and Scheduling Vol. 1. Schwindt, C. & Zimmermann, J. (eds.). Cham Switzerland: Springer, p. 299 - 318 20 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  5 Citations (Scopus)
• 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 proceeding › Chapter (Book) › Research › peer-review

  1 Citation (Scopus)
• 2006

  Constraint logic programming

  Marriott, K. G., Stuckey, P. J. & Wallace, M., 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). 1 ed. Amsterdam The Netherlands: Elsevier, p. 409 - 452 44 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review

• Constraint logic programming

  Marriott, K., Wallace, M. & Stuckey, P. J., 1 Dec 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). Amsterdam Netherlands: Elsevier, p. 409-452 44 p. (Foundations of Artificial Intelligence; vol. 2).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  3 Citations (Scopus)

• NP-completeness of minimal width unordered tree layout

  Marriott, K. & Stuckey, P. J., 1 Jan 2006, Graph Algorithms and Applications 5. World Scientific Publishing, p. 295-312 18 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
• 2004

  A generic framework for context-sensitive analysis of modular programs

  Puebla, G., Correas, J., Hermenegildo, M. V., Bueno, F., Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J., 2004, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, M. & Lau, K-K. (eds.). Berlin Germany: Springer, p. 233-260 28 p. (Lecture Notes in Computer Science; vol. 3049).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review
  9 Citations (Scopus)

• Herbrand constraints in HAL

  Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Overton, D. M. & Stuckey, P. J., 2004, Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development. Bruynooghe, M. & Lau, K-K. (eds.). Berlin Germany: Springer, p. 499-538 40 p. (Lecture Notes in Computer Science; vol. 3049).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter (Book) › Research › peer-review