Prof Peter Stuckey
Honorary Professorial Fellow
School of Computing and Information Systems
599 Scholarly works
15 Projects
HIGHLIGHTS
2026
Journal article
Faster Grid Pathfinding with Approximate Bounding Boxes
DOI: 10.1609/socs.v19i1.430702026
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.1013812025
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
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_132026
Conference Proceedings
3 Seat Risk-Limiting Audits for Single Transferable Vote Elections
DOI: 10.1007/978-3-032-00495-6_122026
Book Chapter
Resolution Meets Cutting Planes: Introducing Hypercube Linear Resolution
DOI: 10.1007/978-3-032-27242-3_102025
Conference Proceedings
Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance
DOI: 10.1109/ictai66417.2025.00135
RECENT PROJECTS
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2015
Research Grant
Next-Generation Protein Structural Comparison Using Information Theory