Mark Wallace

 

 

I have a chair in the Faculty of Information Technology , which is jointly funded by the School of Computer Science and Software Engineering and the School of Business Systems.

I have joined the Optimisation and Constraint Solving Research Group. This research group is devoted to solving difficult practical resource optimisation and constraint satisfaction problems, and to the development of tools and techniques which facilitate this.

Constraint Programming Systems

I am involved in programming systems for modelling and solving large scale industrial combinatorial optimisation problems. Two such systems are

  • G12
    • and
  • ECLiPSe.

    • For optimisation I use

    Xpress-MP Suite
    Leading Optimization Software
    Linear Programming
    Mixed Integer Programming
    with an academic license.

    G12

    The G12 constraint programming platform is a project supported by NICTA, whose Network Information Processing Research Program is focussed on two projects, one of which is the "Constraint Programming Platform Project": G12. The aims of the project are to develop a software platform for solving large scale industrial combinatorial optimisation problems. The system will use Constraint Programming to allow problems to be stated simply, and then solved efficiently. Both solution development time and computing time and scalability will be dramatically reduced. There are open positions for researchers who would be interested to work on this project. For details see NICTA Jobs. Go to "Research Vacancies" and scroll down the screen to: "Constraint Programming Researchers - Network Information Processing".

    G12 Download

    The G12 system can now be downloaded from G12 Download

    The Zinc documentation, however, you can get from here: zinc-spec.pdf

    Professional Activities

    I am involved with the following journals and conferences:

    Online Presentations

    Invited talk at CP'03

    Invited talk at IJCAI'01 Workshop on Modelling and Solving Problems with Constraints

    Invited Talk at ECAI 2000

    Invited Talk at PADL'99

    Tutorial at the Constraints Programming Conference, Pisa, 1998
    presented with Claude le Pape

    Selected Publications

    Minizinc
    Flatzinc
     
    Contact Details


    Disclaimer