Peter Stuckey
Peter J. Stuckey contributed to the MiniZinc language design and lazy clause generation solvers. These tools express constraints and search for solutions to discrete optimization problems. Stuckey coauthored MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. The paper specifies search separately from a particular solver. He coauthored work on enumerated types and type extensions in 2022 and unit types for MiniZinc in 2025. He is affiliated with Monash and teaches optimization.
- Now at
- Monash University
- Works
- 707
- Citations
- 14,870
- h-index
- 53
Publication numbers from OpenAlex, as of 14 October 2026.
Timeline
-
Project role
Models and solvers
Peter J. Stuckey contributed to the MiniZinc language design and lazy clause generation solvers. These tools express constraints and search for solutions to discrete optimization problems.
-
2015
Search specification
Stuckey coauthored MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc. The paper specifies search separately from a particular solver.
-
2022–2025
Language extensions
He coauthored work on enumerated types and type extensions in 2022 and unit types for MiniZinc in 2025. He is affiliated with Monash and teaches optimization.
Sources and credits
Photo: people.eng.unimelb.edu.au; Stuckey's home page; creator not stated. License: Not stated by source. Source: people.eng.unimelb.edu.au. Cropped to a square and resized. Ask us to remove or replace this photo.