Prof Peter Stuckey
Honorary Professorial Fellow
School of Computing and Information Systems
606 Scholarly works
15 Projects
HIGHLIGHTS
2027
Book Chapter
Advances in STV Margin Computation
DOI: 10.1007/978-3-032-39512-2_12026
Journal article
Goanna: a novel approach for automated type error debugging
DOI: 10.1007/s10515-026-00656-32026
Journal article
The legacy of the Zinc modelling language
DOI: 10.1007/s10601-026-09405-52026
Journal article
Faster Grid Pathfinding with Approximate Bounding Boxes
DOI: 10.1609/socs.v19i1.430702025
Research grants (ARC, NHMRC, MRFF)
2018
Research Contracts
Learning Behaviour Switching Policies
2016
Journal article
A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks over Multiple Time Periods
DOI: 10.1287/mnsc.2015.2284
RECENT SCHOLARLY WORKS
2026
Conference Proceedings
Flow-Based Task Assignment for Large-Scale Online Multi-Agent Pickup and Delivery
DOI: 10.65109/mqik84232026
Journal article
Mixed-Integer and Constraint Programming Models for the Two-Dimensional Guillotine Cutting Problem
DOI: 10.1016/j.ejor.2025.10.0222026
Journal article
GeckoGraph: A visual language for polymorphic types
DOI: 10.1016/j.cola.2025.1013812026
Book Chapter
Dynamic Programming and Tabled Logic Programming for Encoding Single-Constant Multiplication Into SAT (Declarative Pearls)
DOI: 10.1007/978-981-92-0184-6_142026
Journal article
Lazy clause generation in retrospect
DOI: 10.1007/s10601-026-09390-92026
Conference Proceedings
Doing More with Less: Mismatch-Based Risk-Limiting Audits
DOI: 10.1007/978-3-032-00495-6_13
RECENT PROJECTS
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2015
Research Grant
Next-Generation Protein Structural Comparison Using Information Theory