Peter Stuckey

Professor

Accepting PhD Students

1986 …2022

Research output per year

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

Research Output

Filter
Chapter (Book)
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 proceedingChapter (Book)Researchpeer-review

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

7 Citations (Scopus)
2006

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 proceedingChapter (Book)Researchpeer-review