Room: 6.19
Address: Doug Mcdonnell Building, Building 168, University of Melbourne, 3010 Australia
Phone: +613-8344-1341
Fax: +613-9349-4596

Peter Stuckey

Admin + Teaching

Seconded to NICTA Victoria Laboratory

My teaching commitments for 2014 are

Research + Service

My research interests include constraint programming, logic programming, deductive databases and program analysis. Other things of interest:

Constraints (postscript or PDF) electronic submissions for TPLP can be sent to Remember to submit name, email address and postal addresses as well as an abstract and reasonably accurate word count.

Some invited talks

  • ICLP/CP 2005 "G12: From Solver Independent Models to Efficient Solutions" Powerpoint PDF
  • APLAS 2006 "Type Processing by Constraint Reasoning" PDF
  • Reformulation and Modelling Workshop CP2007 "Trials and Tribulations of Designing a Modelling Language" PDF
  • CPAIOR 2010 "Lazy Clause Generation: Combining the best of SAT and CP (and MIP?) solving" PDF
  • SAT 2013 "There are no CNF problems" PDF
  • CP 2013 "Those who forget the past are condemned to repeat it" PDF
  • PPDP 2013 "Search is dead, long live proof!" PDF
  • LaSH 2014 "Laziness is next to Godliness" PDF

Results for Specific Problems

This project is developing G12, a software platform for solving large scale industrial combinatorial optimisation problems. The system uses Constraint Programming (CP) and Integer Programming (IP) to allow problems to be stated simply, and then solved efficiently. Both solution development time and computing time can be dramatically reduced.

Advanced software engineering will be used to encapsulate algorithms from several different disciplines, so they can be reused and combined freely. Program development will 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.

The optimization platform project is a large NICTA project, involving over 10 researchers in Melbourne. I am the project leader for this project.

This page, its contents and style, are the responsibility of the author and do not necessarily represent the view, policies or opinions of The University of Melbourne. DISCLAIMER Except the last sentence which is included only because it is the policy of The University of Melbourne.

Created: 19 June 1995
Last modified 20th February 2013

Maintainer: Peter Stuckey,