Professor Peter Stuckey

  • Room: Level: 06 Room: 6.19
  • Building: Doug McDonell Building
  • Campus: Parkville

Research interests

  • Combinatorial Optimization
  • Constraint Programming
  • Declarative Languages

Personal webpage

http://people.eng.unimelb.edu.au/pstuckey

Biography

Peter Stuckey is a Professor in the Department of Computing and Information Systems and NICTA Victoria Research Laboratory at The University of Melbourne.

Prof Stuckey is a pioneer in constraint programming, helping to develop the semantics and one of the earliest systems. He is involved in the G12 project, a software platform for solving large scale industrial combinatorial optimisation problems. The system uses Constraint Programming (CP) to allow problems to be stated simply, and then solved efficiently. Both solution development time and computing time and scalability can be dramatically reduced. Advanced software engineering is used to encapsulate algorithms from several different disciplines, so they can be reused and combined freely. Program development can be accelerated by mapping low level computation back to the problem model enabling the programmer to analyse and improve algorithm behaviour. This research will enable Australian industry to exploit resources more efficiently; it will support more efficient management of complex private and public utilities such as transportation, communication, power and water; and it will support optimal and justifiable strategic decision making and investment.

Recent publications

  1. Blom M, Pearce A, Stuckey P. Short-term scheduling of an open-pit mine with multiple objectives. ENGINEERING OPTIMIZATION. 2017, Vol. 49, Issue 5.
  2. Wang W, Sondergaard H, Stuckey P. A Bit-Vector Solver with Word-Level Propagation. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.
  3. De Una D, Gange G, Schachte P, Stuckey P. A Bounded Path Propagator on Directed Graphs. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  4. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. A complete refinement procedure for regular separability of context-free languages. THEORETICAL COMPUTER SCIENCE. Elsevier Science. 2016, Vol. 625.
  5. Blom M, Pearce A, Stuckey P. A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods. MANAGEMENT SCIENCE. INFORMS Applied Probability Society. 2016, Vol. 62, Issue 10.
  6. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. An Abstract Domain of Uninterpreted Functions. 17th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI). Springer Verlag. 2016, Vol. 9583. Editors: Jobstmann B, Leino KRM.
  7. Codish M, Gange G, Itzhakov A, Stuckey P. Breaking Symmetries in Graphs: The Nauty Way. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  8. Gange G, Stuckey P. Constraint propagation and explanation over novel types by abstract compilation. OpenAccess Series in Informatics. 2016, Vol. 52.
  9. Blom M, Teague V, Stuckey P, Tidhar R. Efficient Computation of Exact IRV Margins. 22nd European Conference on Artificial Intelligence (ECAI). IOS Press. 2016, Vol. 285. Editors: Kaminka GA, Fox M, Bouquet P, Hullermeier E, Dignum V, Dignum F, Vanharmelen F.
  10. Schutt A, Stuckey P. Explaining Producer/Consumer Constraints. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  11. Gange G, Navas JA, Schachte P, Sondergaard H, Stuckey P. Exploiting Sparsity in Difference-Bound Matrices. 23rd International Symposium on Static Analysis (SAS). Springer Verlag. 2016, Vol. 9837. Editors: Rival X.
  12. Belov G, Stuckey P, Tack G, Wallace M. Improved Linearization of Constraint Programming Models. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  13. Feydy T, Stuckey P. Interval Constraints with Learning: Application to Air Traffic Control. 22nd International Conference on the Principles and Practice of Constraint Programming (CP). Springer Verlag. 2016, Vol. 9892. Editors: Rueher M.
  14. Ganji M, Bailey J, Stuckey P. Lagrangian constrained clustering. 16th SIAM International Conference on Data Mining 2016, SDM 2016. 2016.
  15. Chu G, Gange G, Stuckey P. Lagrangian Decomposition via Sub-problem Search. 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2016, Vol. 9676. Editors: Quimper CG.

View a full list of publications on the University of Melbourne’s ‘Find An Expert’ profile