Prof Peter Stuckey
Honorary (Professorial Fellow)
School of Computing and Information Systems
597 Scholarly works
15 Projects
HIGHLIGHTS
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_142021
Research grants (ARC, NHMRC, MRFF)
Return of Strategic Funding (Monash) - ARC Training Centre in Optimisation Technologies, Integrated Methodologies, and Applications (OPTIMA)
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
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.001352025
Conference Proceedings
Naver: a Neuro-Symbolic Compositional Automaton for Visual Grounding with Explicit Logic Reasoning
DOI: 10.1109/iccv51701.2025.022322025
Journal article
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
DOI: 10.1109/lra.2025.3592098
RECENT PROJECTS
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2015
Research Grant
Next-Generation Protein Structural Comparison Using Information Theory