Research Output per year
Research Output 1986 2019
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
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
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 proceeding › Chapter (Book) › Research › peer-review