Peter Stuckey

Research output

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

• 359 Conference Paper
• 129 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

• 1999

  Herbrand Constraint Solving in HAL

  Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 17 p.

  Research output: Book/Report › Book › Other

• Type Constraint Solving for Parametric and Ad-hoc Polymorphism

  Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J., 1999, Clayton Vic Australia: Monash University. 20 p.

  Research output: Book/Report › Book › Other
• 1998

  Programming with Constraints - An Introduction

  Marriott, K. & Stuckey, P. J., 1998, London UK: The MIT Press. 459 p.

  Research output: Book/Report › Book › Research › peer-review