Prof Peter Stuckey
Honorary (Professorial Fellow)
School of Computing and Information Systems
593 Scholarly works
15 Projects
HIGHLIGHTS
2026
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
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_122021
Research grants (ARC, NHMRC, MRFF)
Australian Bureau of Statistics Project Agreement - 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
2025
Conference Proceedings
Multimodal Pathfinding with Personalized Travel Speed and Transfers of Unlimited Distance
DOI: 10.1109/ictai66417.2025.001352025
Journal article
NEUSIS: A Compositional Neuro-Symbolic Framework for Autonomous Perception, Reasoning, and Planning in Complex UAV Search Missions
DOI: 10.1109/lra.2025.35920982025
Conference Proceedings
Dynamic Replanning for Improved Public Transport Routing
DOI: 10.24963/ijcai.2025/9372025
Conference Proceedings
Most General Explanations of Tree Ensembles
DOI: 10.24963/ijcai.2025/6082025
Journal article
Predict and optimize: a smart inventory management model for beauty retail
DOI: 10.1007/s11590-025-02226-02025
Journal article
Sub-Microsecond Grid Path Planning, at What Cost?
DOI: 10.1609/socs.v18i1.35974
RECENT PROJECTS
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2015
Research Grant
Next-Generation Protein Structural Comparison Using Information Theory