Peter Stuckey

Research output

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

• 358 Conference Paper
• 128 Article
• 10 Chapter (Book)
• 5 Paper
• 13 More
  • 4 Foreword / Postscript
  • 3 Book
  • 1 Commissioned Report
  • 1 Other Report
  • 1 Chapter (Report)
  • 1 Comment / Debate
  • 1 Editorial
  • 1 Review Article

Research output per year

Research output per year

Search results

• 2002

  A theory of overloading

  Stuckey, P. J. & Sulzmann, M., 1 Dec 2002, p. 167-178. 12 p.

  Research output: Contribution to conference › Paper › peer-review

  21 Citations (Scopus)

• Exception analysis for non-strict languages

  Glynn, K., Stuckey, P. J., Sulzmann, M. & Søndergaard, H., 1 Dec 2002, p. 98-109. 12 p.

  Research output: Contribution to conference › Paper › peer-review

  9 Citations (Scopus)

• Reducing search space in local search for constraint satisfaction

  Fang, H., Kilani, Y., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2002, p. 28-33. 6 p.

  Research output: Contribution to conference › Paper › peer-review

  4 Citations (Scopus)
• 1991

  Magic sets and bottom-up evaluation of well-founded models

  Kemp, D. B., Stuckey, P. J. & Srivastava, D., 1 Dec 1991, p. 337-351. 15 p.

  Research output: Contribution to conference › Paper › peer-review

  30 Citations (Scopus)

• Semantics of logic programs with aggregates

  Kemp, D. B. & Stuckey, P. J., 1 Dec 1991, p. 387-401. 15 p.

  Research output: Contribution to conference › Paper › peer-review

  72 Citations (Scopus)