Peter Stuckey

View Scopus Profile

Peter Stuckey

Professor

 https://orcid.org/0000-0003-2186-0459

Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology
Development of high-level modelling languages for discrete optimization
Multi-agent path finding problems and extensions
Hybrid approaches to solving discrete optimization

1986 …2025

Research activity per year

Filter
Conference Paper

Search results

  • 1995

    ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS

    Kemp, D. B., Ramamohanarao, K. & Stuckey, P. J., 1 Jan 1995, Deductive and Object-Oriented Databases - 4th International Conference, DOOD 1995, Proceedings. Vieille, L., Mendelzon, A. O. & Ling, T. W. (eds.). Springer, p. 91-108 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1013).

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

    9 Citations (Scopus)
  • 1994

    Beyond finite domains

    Jaffar, J., Maher, M. J., Stuckey, P. J. & Yap, R. H. C., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 86-94 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

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

    63 Citations (Scopus)

  • Compiling query constraints

    Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. Association for Computing Machinery (ACM), p. 56-67 12 p. (Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems).

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

    16 Citations (Scopus)

  • Foundations of aggregation constraints

    Ross, K. A., Srivastava, D., Stuckey, P. J. & Sudarshan, S., 1 Jan 1994, Principles and Practice of Constraint Programming - 2nd International Workshop, PPCP 1994, Proceedings. Borning, A. (ed.). Springer, p. 193-204 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 874 LNCS).

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

    7 Citations (Scopus)
  • 1993

    3 R's of optimizing constraint logic programs: Refinement, removal and reordering

    Marriott, K. & Stuckey, P. J., 1 Jan 1993, Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Association for Computing Machinery (ACM), p. 334-344 11 p. (Conference Record of the Annual ACM Symposium on Principles of Programming Languages).

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

    36 Citations (Scopus)

  • Well-founded ordered search

    Stuckey, P. J. & Sudarshan, S., 1 Jan 1993, Foundations of Software Technology and Theoretical Computer Science - 13th Conference, Proceedings. Shyamasundar, R. K. (ed.). Springer, p. 161-171 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 761 LNCS).

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

    6 Citations (Scopus)
  • 1991

    Constructive negation for constraint logic programming

    Stuckey, P. J., 1 Jul 1991, Proceedings - Symposium on Logic in Computer Science. IEEE, Institute of Electrical and Electronics Engineers, p. 328-339 12 p. (Proceedings - Symposium on Logic in Computer Science).

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

    70 Citations (Scopus)

  • Design overview of the Aditi deductive database system

    Vaghani, J., Ramamohanarao, K., Kemp, D. B., Somogyi, Z. & Stuckey, P. J., 1 Apr 1991, Proceedings - International Conference on Data Engineering. IEEE, Institute of Electrical and Electronics Engineers, p. 240-247 8 p.

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

    8 Citations (Scopus)

  • The CLP(R) language and system: An overview

    Jaffar, J., Michaylov, S., Stuckey, P. J. & Yap, R. H. C., 1 Dec 1991, Digest of Papers - IEEE Computer Society International Conference. IEEE, Institute of Electrical and Electronics Engineers, p. 376-381 6 p. (Digest of Papers - IEEE Computer Society International Conference).

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

  • 1990

    A constraint logic programming shell

    Lim, P. & Stuckey, P. J., 1 Jan 1990, Programming Language Implementation and Logic Programming - International Workshop PLILP 1990, Proceedings. Deransart, P. & Maluszynski, J. (eds.). Springer, p. 75-88 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 456 LNCS).

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

    2 Citations (Scopus)

  • Eliminating negation from normal logic programs

    Kanchanasut, K. & Stuckey, P., 1 Jan 1990, Algebraic and Logic Programming - 2nd International Conference, Proceedings. Kirchner, H. & Wechler, W. (eds.). Springer, p. 217-231 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 463 LNCS).

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

    7 Citations (Scopus)
  • 1986

    Logic program semantics for programming with equations

    Jaffar, J. & Stuckey, P. J., 1 Jan 1986, 3rd International Conference on Logic Programming - Imperial College of Science and Technology, Proceedings. Shapiro, E. (ed.). Springer, p. 313-326 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 225 LNCS).

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

    1 Citation (Scopus)