Peter J. Stuckey
Australian Research Council(AU)Presbyterian Theological College(AU)Australian Regenerative Medicine Institute(AU)Advanced Optical Technologies (United States)(US)ARC Centre of Excellence for Transformative Meta-Optical Systems(AU)Artificial Intelligence in Medicine (Canada)(CA)Monash University(AU)
Publications by Year
Research Areas
Constraint Satisfaction and Optimization, Formal Methods in Verification, Logic, programming, and type systems, Data Management and Algorithms, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Programming with Constraints(1998)861 cited
- → MiniZinc: Towards a Standard CP Modelling Language(2007)732 cited
- → MUSTANG: A multiple structural alignment algorithm(2006)724 cited
- → The CLP( ℛ ) language and system(1992)524 cited
- → Searching with Consistent Prioritization for Multi-Agent Path Finding(2019)214 cited
- → Propagation via lazy clause generation(2009)211 cited
- → The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1