Prof Peter Stuckey
Honorary (Professorial Fellow)
School of Computing and Information Systems
595 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
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
Conference Proceedings
Doing More with Less: Mismatch-Based Risk-Limiting Audits
DOI: 10.1007/978-3-032-00495-6_132021
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
3 Seat Risk-Limiting Audits for Single Transferable Vote Elections
DOI: 10.1007/978-3-032-00495-6_122025
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.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/608
RECENT PROJECTS
2014
Research Grant
Analysing Computer Arithmetic to Improve Software Reliability
2015
Research Grant
Next-Generation Protein Structural Comparison Using Information Theory