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. Codish M, Ehlers T, Gange G, Itzhakov A, Stuckey P. Breaking symmetries with lex implications. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 10818 LNCS. DOI: 10.1007/978-3-319-90686-7_12
  2. DemiroviĆ E, Stuckey P. Constraint programming for high school timetabling: A scheduling-based model with hot starts. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2018, Vol. 10848 LNCS. DOI: 10.1007/978-3-319-93031-2_10
  3. Artigues C, HÉbrard E, PencolÉ Y, Schutt A, Stuckey P. Data Instance generator and optimization models for evacuation planning in the event of wildfire. CEUR Workshop Proceedings. Rheinisch-Westfaelische Technische Hochschule Aachen * Lehrstuhl Informatik V. 2018, Vol. 2146.
  4. Ganji M, Chan J, Stuckey P, Bailey J, Leckie C, Kotagiri R, Davidson I. Image constrained blockmodelling: A constraint programming approach. SIAM International Conference on Data Mining, SDM 2018. 2018.
  5. Kreter S, Schutt A, Stuckey P, Zimmermann J. Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH. Elsevier Science. 2018, Vol. 266, Issue 2. DOI: 10.1016/j.ejor.2017.10.014
  6. Kafle B, Gange G, Schachte P, Sondergaard H, Stuckey P. A benders decomposition approach to deciding modular linear integer arithmetic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10491 LNCS. DOI: 10.1007/978-3-319-66263-3_24
  7. Ganji M, Bailey J, Stuckey P. A declarative approach to constrained community detection. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10416 LNCS. DOI: 10.1007/978-3-319-66158-2_31
  8. Amadini R, Gange G, Stuckey P, Tack G. A novel approach to string constraint solving. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10416 LNCS. DOI: 10.1007/978-3-319-66158-2_1
  9. Davies T, Gange G, Stuckey P. Automatic logic-based benders decomposition with minizinc. 31st AAAI Conference on Artificial Intelligence, AAAI 2017. 2017.
  10. Amadini R, Jordan A, Gange G, Gauthier F, Schachte P, Sondergaard H, Stuckey P, Zhang C. Combining String Abstract Domains for JavaScript Analysis: An Evaluation. 23rd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) Held as Part of the 19th European Joint Conferences on Theory and Practice of Software (ETAPS). Springer Verlag. 2017, Vol. 10205. Editors: Legay A, Margaria T. DOI: 10.1007/978-3-662-54577-5_3
  11. Albert E, Arenas P, Garcia De La Banda M, Gomez-Zamalloa M, Stuckey P. Context-Sensitive Dynamic Partial Order Reduction. 29th International Conference on Computer-Aided Verification (CAV). Springer Verlag. 2017, Vol. 10426. Editors: Majumdar R, Kuncak V. DOI: 10.1007/978-3-319-63387-9_26
  12. Gange G, Ganty P, Stuckey P. Fixing the state budget: Approximation of regular languages with small DFAs. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag. 2017, Vol. 10482 LNCS. DOI: 10.1007/978-3-319-68167-2_5
  13. De Una D, Gange G, Schachte P, Stuckey P. Minimizing Landscape Resistance for Habitat Conservation. 14th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2017, Vol. 10335. Editors: Salvagnin D, Lombardi M. DOI: 10.1007/978-3-319-59776-8_10
  14. Amadini R, Flener P, Pearson J, Scott JD, Stuckey P, Tack G. MiniZinc with Strings. 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR). Springer Verlag. 2017, Vol. 10184. Editors: Hermenegildo MV, Lopezgarcia P. DOI: 10.1007/978-3-319-63139-4_4
  15. Beldiceanu N, Carlsson M, Derrien A, Prud'homme C, Schutt A, Stuckey P. Range-Consistent Forbidden Regions of Allen's Relations. 14th International Conference on the Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR). Springer Verlag. 2017, Vol. 10335. Editors: Salvagnin D, Lombardi M. DOI: 10.1007/978-3-319-59776-8_2

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