Peter Stuckey is an Adjunct Professor in the School of Computing and Information Systems at The University of Melbourne and a Professor in the Faculty of Information Technology at Monash University.

Prof Stuckey is a pioneer in constraint programming, helping to develop the semantics and one of the earliest systems. He led 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.

Find out more about Peter Stuckey's experience

Peter Stuckey's highlights

FEATURED Journal article

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks over Multiple Time Periods

Peter Stuckey's selected work

Learning Behaviour Switching Policies

Research Contracts

A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mine..

Journal article

Design Of Road Networks Through Ecologically Sensitive Regions Incorporating Operational F..

Research Contracts

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Journal article

Solving Graph Problems Using Constraint Programming With Learning

Research Contracts

Toward Computing the Margin of Victory in Single Transferable Vote Elections

Journal article

Projects

Displaying the 16 most recent projects by Peter Stuckey.

Learning Behaviour Switching Policies

2018 - 2019

Completed

Design Of Road Networks Through Ecologically Sensitive Regions Incorporating Operational Flexibility

2017 - 2019

Completed

Solving Graph Problems Using Constraint Programming With Learning

2017 - 2018

Completed

Parallelization Of Lazy Clause Generation

2015 - 2017

Completed

Next-Generation Protein Structural Comparison Using Information Theory

Progress in protein structural biology relies heavily on key computational technologies, structural alignment being an indispensable one. De..

2015 - 2017

Completed

Analysing Computer Arithmetic To Improve Software Reliability

Most computer programs deal with integers. Automated tools designed to verify the correct behaviour of software usually assume the software ..

2014 - 2018

Completed

Mathematics And Computing For Integrated Stockyard-Centric Management Of Mining Supply Chains

Blended mineral products, such as coal and iron ore, make a strong contribution to Australia's economy. Blending occurs in stockpiles, so to..

2012 - 2016

Completed

Mathematics And Computing For Integrated Stockyard-Centric Management Of Mining Supply Chains

Blended mineral products, such as coal and iron ore, make a strong contribution to Australia's economy. Blending occurs in stockpiles, so to..

2012 - 2016

Completed

Making The Pilbara Blend: Agile Mine Scheduling Through Contingent Planning

Mine scheduling is a challenging problem for Rio Tinto which annually mines more than 200 Million tonnes of iron ore. This project will deve..

2011 - 2016

Completed

Making The Pilbara Blend: Agile Mine Scheduling Through Contingent Planning

Mine scheduling is a challenging problem for Rio Tinto which annually mines more than 200 Million tonnes of iron ore. This project will deve..

2011 - 2016

Completed

Automatic Software Verification: Harnessing Constraint Technologies

As we come to rely on software to manage more and more aspects of our lives, the importance of software reliability increases; yet as progra..

2011 - 2015

Completed

Supporting Adaptive, Interactive Documents

The project will improve comprehensibility of technical material, reduce paper usage, encourage collaborative science, improve the reliabili..

2009 - 2011

Completed

Visit From Alan Frisch, University Of York

2008 - 2008

Completed

Arc Dp (Shared): Supporting Adaptive Diagrammatic Communication

The computing environment of the near future will allow users to access and interact with digital information using an incredible variety of..

Arc Centre For Perceptive And Intelligent Machines In Complex Environments

Languages For Constraint Programming: Design And Implementation

16

Projects

Project Types

Research Grant

Research Contracts

Internal Research Grant

Scholarly Works

Displaying the 388 most recent scholarly works by Peter Stuckey.

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

W Wang, H Søndergaard, PJ Stuckey

Journal article | 2019 | Journal of Automated Reasoning

We develop an idea originally proposed by Michel and Van Hentenryck of how to perform bit-vector constraint propagation on the wor..

Toward Computing the Margin of Victory in Single Transferable Vote Elections

Michelle Blom, Peter J Stuckey, Vanessa J Teague

Journal article | 2019 | INFORMS Journal on Computing

The single transferable vote (STV) is a system of preferential voting for multiseat elections. Each ballot cast by a voter is a (p..

Short-term planning for open pit mines: a review

Michelle Blom, Adrian R Pearce, Peter J Stuckey

Journal article | 2019 | International Journal of Mining, Reclamation and Environment

Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures.

Arun S Konagurthu, Ramanan Subramanian, Lloyd Allison, David Abramson, Maria Garcia de la Banda, Peter J Stuckey, Arthur M Lesk

Journal article | 2019 | Methods in molecular biology (Clifton, N.J.)

We recently developed an unsupervised Bayesian inference methodology to automatically infer a dictionary of protein supersecondary..

Semi-supervised blockmodelling with pairwise guidance

M Ganji, J Chan, PJ Stuckey, J Bailey, C Leckie, K Ramamohanarao, L Park

Conference Proceedings | 2019 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Constraints for symmetry breaking in graph representation

Michael Codish, Alice Miller, Patrick Prosser, Peter J Stuckey

Journal article | 2019 | Constraints

Compiling CP subproblems to MDDs and d-DNNFs

Diego de Una, Graeme Gange, Peter Schachte, Peter J Stuckey

Journal article | 2019 | Constraints

Preface

F Mesnard, PJ Stuckey

Book | 2019 | Lecture Notes in Artificial Intelligence

Declarative local-search neighbourhoods in minizinc

G Bjordal, P Flener, J Pearson, PJ Stuckey, G Tack

Conference Proceedings | 2018 | 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI)

Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm

Michelle Blom, Adrian R Pearce, Peter J Stuckey

Journal article | 2018 | Engineering Optimization

An iterative approach to precondition inference using constrained Horn clauses

Bishoksan Kafle, John P Gallagher, Graeme Gange, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article | 2018 | Theory and Practice of Logic Programming

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Stefan Kreter, Andreas Schutt, Peter J Stuckey, Juergen Zimmermann

Journal article | 2018 | European Journal of Operational Research

Optimal Sankey Diagrams via Integer Programming

David Cheng Zarate, Pierre Le Bodic, Tim Dwyer, Graeme Gange, Peter Stuckey

Conference Proceedings | 2018 | 2018 IEEE Pacific Visualization Symposium (PacificVis)

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Journal article | 2018 | Fundamenta Informaticae

Computing the Margin of Victory in Preferential Parliamentary Elections

M Blom, PJ Stuckey, VJ Teague

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Data Instance generator and optimization models for evacuation planning in the event of wildfire

Christian Artigues, Emmanuel Hebrard, Yannick Pencole, Andreas Schutt, Peter Stuckey

Conference Proceedings | 2018 | CEUR Workshop Proceedings

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

Conference Proceedings | 2018 | 32nd AAAI Conference on Artificial Intelligence, AAAI 2018

Lagrangian constrained community detection

M Ganj, J Bailey, PJ Stuckey

Conference Proceedings | 2018 | 32nd AAAI Conference on Artificial Intelligence, AAAI 2018

Breaking symmetries with lex implications

M Codish, T Ehlers, G Gange, A Itzhakov, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Solver independent rotating workforce scheduling

N Musliu, A Schutt, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Sequential precede chain for value symmetry elimination

G Gange, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers

E Demirović, G Chu, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Ballot-Polling Risk Limiting Audits for IRV Elections

M Blom, PJ Stuckey, VJ Teague

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Image constrained blockmodelling: A constraint programming approach

M Ganji, J Chan, PJ Stuckey, J Bailey, C Leckie, K Ramamohanarao, I Davidson

Conference Proceedings | 2018 | SIAM International Conference on Data Mining, SDM 2018

Constraint programming for high school timetabling: A scheduling-based model with hot starts

E Demirović, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Machine learning and constraint programming for relational-to-ontology schema mapping

D De Uña, N Rümmele, G Gange, P Schachte, PJ Stuckey

Conference Proceedings | 2018 | Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence

Propagating lex, find and replace with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Springer International Publishing AG, part of Springer Nature 2018. Dashed strings have been recently proposed in Constraint Progr..

Propagating Regular membership with dashed strings

R Amadini, G Gange, PJ Stuckey

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Using dashed strings is an approach recently introduced in Constraint Programming (CP) to represent the domain of string variables..

Solver-independent large neighbourhood search

JJ Dekker, MG de la Banda, A Schutt, PJ Stuckey, G Tack

Conference Proceedings | 2018 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Using constraint programming for solving RCPSP/max-cal

Stefan Kreter, Andreas Schutt, Peter J Stuckey

Journal article | 2017 | Constraints

Statistical inference of protein structural alignments using information and compression

James H Collier, Lloyd Allison, Arthur M Lesk, Peter J Stuckey, Maria Garcia de la Banda, Arun S Konagurthu

Journal article | 2017 | Bioinformatics

Short-term scheduling of an open-pit mine with multiple objectives

Michelle Blom, Adrian R Pearce, Peter J Stuckey

Journal article | 2017 | CONSTRAINT PROGRAMMING 2015 (POSTER)

Minimizing Landscape Resistance for Habitat Conservation

Diego de Una, Graeme Gange, Peter Schachte, Peter J Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Combining String Abstract Domains for JavaScript Analysis: An Evaluation

Roberto Amadini, Alexander Jordan, Graeme Gange, Francois Gauthier, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A novel approach to string constraint solving

R Amadini, G Gange, PJ Stuckey, G Tack

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A benders decomposition approach to deciding modular linear integer arithmetic

B Kafle, G Gange, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

MiniZinc with Strings

Roberto Amadini, Pierre Flener, Justin Pearson, Joseph D Scott, Peter J Stuckey, Guido Tack

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Fixing the state budget: Approximation of regular languages with small DFAs

G Gange, P Ganty, PJ Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Statistical compression of protein folding patterns for inference of recurrent substructural themes

Ramanan Subramanian, Lloyd Allison, Peter J Stuckey, Maria Garcia de la Banda, David Abramson, Arthur M Lesk, Arun S Konagurthu

Conference Proceedings | 2017 | 2017 Data Compression Conference (DCC)

Range-Consistent Forbidden Regions of Allen's Relations

Nicolas Beldiceanu, Mats Carlsson, Alban Derrien, Charles Prud'homme, Andreas Schutt, Peter J Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Context-Sensitive Dynamic Partial Order Reduction

Elvira Albert, Puri Arenas, Maria Garcia de la Banda, Miguel Gomez-Zamalloa, Peter J Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A declarative approach to constrained community detection

M Ganji, J Bailey, PJ Stuckey

Conference Proceedings | 2017 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Automatic logic-based benders decomposition with minizinc

TO Davies, G Gange, PJ Stuckey

Conference Proceedings | 2017 | 31st AAAI Conference on Artificial Intelligence, AAAI 2017

Constraint propagation and explanation over novel types by abstract compilation

G Gange, PJ Stuckey

Conference Proceedings | 2016 | OpenAccess Series in Informatics

Preface

Jeff Th M De Hosson, Nasar Ali, Giuseppe Fierro, Mahmood Aliofkhazraei, Mircea Chipara

Book | 2016 | Applied Surface Science

A complete refinement procedure for regular separability of context-free languages

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article | 2016 | Theoretical Computer Science

Preface

Atsushi Tsuda, Kazuhiro Kogure, Shuichi Watanabe

Book | 2016 | Journal of Oceanography

Symmetry declarations for MiniZinc

N Baxter, G Chu, PJ Stuckey

Conference Proceedings | 2016 | Proceedings of the Australasian Computer Science Week Multiconference on - ACSW '16

Lagrangian Decomposition via Sub-problem Search

G Chu, G Gange, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks over Multiple Time Periods

M Blom, A Pearce, P Stuckey

Journal article | 2016 | Management Science

Explaining producer/consumer constraints

A Schutt, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Interval constraints with learning: Application to Air Traffic Control

T Feydy, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A bit-vector solver with word-level propagation

W Wang, H SONDERGAARD, P Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Reasoning with bit-vectors arises in a variety of applications in verification and cryptography. Michel and Van Hentenryck have p..

Sequencing operator counts

TO Davies, AR Pearce, P Stuckey, N Lipovetzky

Conference Proceedings | 2016 | IJCAI International Joint Conference on Artificial Intelligence

An abstract domain of uninterpreted functions

G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, P Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Parallelizing Constraint Programming with Learning

T Ehlers, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Exploiting Sparsity in Difference-Bound Matrices

G Gange, J Navas, P Schachte, H SONDERGAARD, P Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A bounded path propagator on directed graphs

D de Uña, G Gange, P Schachte, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Steiner Tree Problems with Side Constraints Using Constraint Programming

D de Una, G Gange, P Schachte, P STUCKEY

Conference Proceedings | 2016 | 30th AAAI Conference on Artificial Intelligence, AAAI 2016

Weighted Spanning Tree Constraint with Explanations

D de Uña, G Gange, P Schachte, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

On CNF Encodings of Decision Diagrams

I Abío, G Gange, V Mayer-Eichberger, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Rail Capacity Modelling with Constraint Programming

D Harabor, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Breaking symmetries in graphs: The nauty way

M Codish, G Gange, A Itzhakov, PJ Stuckey

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Improved linearization of constraint programming models

G Belov, PJ Stuckey, G Tack, M Wallace

Conference Proceedings | 2016 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Lagrangian constrained clustering

M Ganji, J Bailey, PJ Stuckey

Conference Proceedings | 2016 | 16th SIAM International Conference on Data Mining 2016, SDM 2016

Efficient Computation of Exact IRV Margins

M BLOM, PJ Stuckey, V Teague, R Tidhar

Conference Proceedings | 2016 | Frontiers in Artificial Intelligence and Applications

Two type extensions for the constraint modeling language MiniZinc

Rafael Caballero, Peter J Stuckey, Antonio Tenorio-Fornes

Journal article | 2015 | Science of Computer Programming

Automatic Minimal-Height Table Layout

Mihai Bilauca, Graeme Gange, Patrick Healy, Kim Marriott, Peter Moulder, Peter J Stuckey

Journal article | 2015 | INFORMS Journal on Computing

Dominance breaking constraints

Geoffrey Chu, Peter J Stuckey

Journal article | 2015 | Constraints

Scheduling Tools for Open-Pit Mining Operations

M BLOM, C Burt, N Lipovetzky, A Pearce, P Stuckey

Presentation | 2015

System Demonstrations and Exhibits

Approximate Uni-directional Benders Decomposition

Christina N Burt, Nir Lipovetzky, Adrian R Pearce, Peter J Stuckey

Conference Proceedings | 2015 | AAAI Workshop - Technical Report

Lazy Model Expansion: Interleaving Grounding with Search

B De Cat, M Denecker, P STUCKEY, M Bruynooghe

Journal article | 2015 | Journal of Artificial Intelligence Research

Analyzing Array Manipulating Programs by Program Transformation

JRM Cornish, G Gange, JA Navas, P Schachte, H SONDERGAARD, PJ Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Modeling and Solving Project Scheduling with Calendars

Stefan Kreter, Andreas Schutt, Peter J Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Exact and heuristic methods for the resource-constrained net present value problem

H Gu, A Schutt, PJ Stuckey, MG Wallace, G Chu

Book Chapter | 2015

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Journal article | 2015 | ACM Transactions on Programming Languages and Systems

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus

TO Davies, AR Pearce, PJ Stuckey, H SONDERGAARD

Conference Proceedings | 2015 | Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Horn Clauses As an Intermediate Representation for Program Analysis and Transformation

G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, PJ Stuckey

Journal article | 2015 | Theory and Practice of Logic Programming

Generalized Modularity for Community Detection

Mohadeseh Ganji, Abbas Seifi, Hosein Alizadeh, James Bailey, Peter J Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc

Andrea Rendl, Tias Guns, Peter J Stuckey, Guido Tack

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Stable Model Counting and Its Application in Probabilistic Logic Programming

RA Aziz, G Chu, C Muise, P STUCKEY

Conference Proceedings | 2015 | Proceedings of the National Conference on Artificial Intelligence

Learning Value Heuristics for Constraint Programming

Geoffrey Chu, Peter J Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

#∃SAT: Projected Model Counting

RA Aziz, G Chu, C Muise, P Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

A Satisfiability Solving Approach

A SCHUTT, T Feydy, P Stuckey, MG Wallace

Book Chapter | 2015

Encoding Linear Constraints with Implication Chains to CNF

Ignasi Abio, Valentin Mayer-Eichberger, Peter J Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Sequencing Operator Counts

TO Davies, AR Pearce, P STUCKEY, N Lipovetzky

Conference Proceedings | 2015 | Proceedings International Conference on Automated Planning and Scheduling, ICAPS

A tool for intersecting context-free grammars and its applications

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scheduling with fixed maintenance, shared resources and nonlinear feedrate constraints: A mine planning case study

CN Burt, N Lipovetzky, AR Pearce, PJ Stuckey

Conference Proceedings | 2015 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Given a short term mining plan, the task for an operational mine planner is to determine how the equipment in the mine should be u..

Synthesizing Optimal Switching Lattices

Graeme Gange, Harald Søndergaard, Peter J Stuckey

Journal article | 2014 | ACM Transactions on Design Automation of Electronic Systems

Symmetries, almost symmetries, and lazy clause generation

Geoffrey Chu, Maria Garcia de la Banda, Christopher Mears, Peter J Stuckey

Journal article | 2014 | Constraints

A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines

Michelle L Blom, Christina N Burt, Adrian R Pearce, Peter J Stuckey

Journal article | 2014 | INFORMS Journal on Computing

The MiniZinc Challenge 2008-2013

Peter J Stuckey, Thibaut Feydy, Andreas Schutt, Guido Tack, Julien Fischer

Journal article | 2014 | AI Magazine

The future of optimization technology

Maria Garcia de la Banda, Peter J Stuckey, Pascal Van Hentenryck, Mark Wallace

Journal article | 2014 | Constraints

How precise are reported protein coordinate data?

Arun S Konagurthu, Lloyd Allison, David Abramson, Peter J Stuckey, Arthur M Lesk

Journal article | 2014 | Acta Crystallographica Section D - Biological Crystallography

Planning for Mining Operations with Time and Resource Constraints

N Lipovetzky, CN Burt, A Pearce, PJ Stuckey

Conference Proceedings | 2014 | Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling

Explaining circuit propagation

Kathryn Glenn Francis, Peter J Stuckey

Journal article | 2014 | Constraints

Grounding Bound Founded Answer Set Programs

RA Aziz, G Chu, PJ STUCKEY

Journal article | 2014 | Theory and Practice of Logic Programming

Fragment-Based Planning Using Column Generation

TO Davies, AR Pearce, PJ Stuckey, H Sondergaard

Conference Proceedings | 2014 | Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling

Local search for a cargo assembly planning problem

G Belov, N Boland, MWP Savelsbergh, PJ Stuckey

Conference Proceedings | 2014 | Integration of AI and OR Techniques in Constraint Programming

Loop Untangling

Kathryn Francis, Peter J Stuckey

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Stochastic MiniZinc

Andrea Rendl, Guido Tack, Peter J Stuckey

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Combinatorial optimisation problems often contain uncertainty that has to be taken into account to produce realistic solutions. Ho..

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers

Roberto Amadini, Peter J Stuckey

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Encoding Linear Constraints into SAT

Ignasi Abio, Peter J Stuckey

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Modelling with Option Types in MiniZinc

C Mears, A Schutt, PJ Stuckey, G Tack, K Marriott, M Wallace

Conference Proceedings | 2014 | Integration of AI and OR Techniques in Constraint Programming

Seeing Around Corners: Fast Orthogonal Connector Routing

Kim Marriott, Peter J Stuckey, Michael Wybrow

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Orthogonal connectors are used in drawings of many types of network diagrams, especially those representing electrical circuits. O..

Nested Constraint Programs

Geoffrey Chu, Peter J Stuckey

Conference Proceedings | 2014 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

An introduction to search combinators

T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey

Book Chapter | 2013 | Lecture Notes in Artificial Intelligence

Stable model semantics for founded bounds

Rehan Abdul Aziz, Geoffrey Chu, Peter J Stuckey

Journal article | 2013 | Theory and Practice of Logic Programming

Failure tabled constraint logic programming by interpolation

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article | 2013 | Theory and Practice of Logic Programming

A CLP heap solver for test case generation

Elvira Albert, Maria Garcia De La Banda, Miguel Gomez-Zamalloa, Jose Miguel Rojas, Peter Stuckey

Journal article | 2013 | Theory and Practice of Logic Programming

Solving RCPSP/max by lazy clause generation

Andreas Schutt, Thibaut Feydy, Peter J Stuckey, Mark G Wallace

Journal article | 2013 | Journal of Scheduling

Search combinators

Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J Stuckey

Journal article | 2013 | Constraints

Discovery and analysis of consistent active subnetworks in cancers

Raj K Gaire, Lorey Smith, Patrick Humbert, James Bailey, Peter J Stuckey, Izhak Haviv

Journal article | 2013 | BMC Bioinformatics

Automated design of search with composability

A Sabharwal, H Samulowitz, T Schrijvers, PJ Stuckey, G Tack

Journal article | 2013 | AAAI Workshop - Technical Report

MiniZinc with Functions

PJ Stuckey, G Tack

Conference Proceedings | 2013 | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Dominance Driven Search

GM Chu, PJ Stuckey

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

To Encode or to Propagate? The Best Choice for Each Constraint in SAT

I Abio, R Nieuwenhuis, A Oliveras, E Rodriguez-Carbonell, PJ Stuckey

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

Unbounded model-checking with interpolation for regular language constraints

G Gange, JA Navas, PJ Stuckey, H Sondergaard, P Schachte

Conference Proceedings | 2013 | Tools and Algorithms for the Construction and Analysis of Systems

Solving Difference Constraints over Modular Arithmetic

G Gange, H Sondergaard, PJ Stuckey, P Schachte

Conference Proceedings | 2013 | Automated Deduction - CADE-24

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

Amit Metodi, Michael Codish, Peter J Stuckey

Journal article | 2013 | Journal Of Artificial Intelligence Research, Volume 46, pages 303-341, 2013

Those who cannot remember the past are condemned to repeat it

PJ Stuckey

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

Breaking symmetries in graph representation

M Codish, A Miller, P Prosser, PJ Stuckey

Conference Proceedings | 2013 | Proceedings of the Twenty-Third international joint conference on Artificial Intelligence

A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects

H Gu, A Schutt, PJ Stuckey

Conference Proceedings | 2013 | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Explaining propagators for edge-valued decision diagrams

G Gange, PJ Stuckey, P Van Hentenryck

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

Abstract Interpretation over Non-Lattice Abstract Domains

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings | 2013 | Static Analysis

Finite type extensions in constraint programming

R Cabellero, PJ Stuckey, A Tenorio-Fornes

Conference Proceedings | 2013 | Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming

Statistical Inference of Protein "LEGO Bricks"

Arun S Konagurthu, Lloyd Allison, David Abramson, Peter J Stuckey, Arthur M Lesk

Conference Proceedings | 2013 | 2013 IEEE 13th International Conference on Data Mining

Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint

A Schutt, TA Feydy, PJ Stuckey

Conference Proceedings | 2013 | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Modelling Destructive Assignments

K FRANCIS, JA Navas, PJ Stuckey

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

There Are No CNF Problems

PJ Stuckey

Conference Proceedings | 2013 | Theory and Applications of Satisfiability Testing - SAT 2013

Inductive Definitions in Constraint Programming

RA AZIZ, PJ Stuckey, Z Somogyi

Conference Proceedings | 2013 | Proceedings of the Thirty-Sixth Australasian Computer Science Conference

Scheduling optional tasks with explanation

A Schutt, TA Feydy, PJ Stuckey

Conference Proceedings | 2013 | Principles and Practice of Constraint Programming

Lazy model expansion by incremental grounding

B De Cat, M Denecker, P Stuckey

Conference Proceedings | 2012 | Technical Communications of the 28th International Conference on Logic Programming (ICLP�12)

Explaining alldifferent

N Downing, T Feydy, PJ Stuckey

Conference Proceedings | 2012 | Conferences in Research and Practice in Information Technology Series: Computer Science 2012

Maximising the net present value of large resource-constrained projects

H Gu, PJ Stuckey, MG Wallace

Conference Proceedings | 2012 | Lecture Notes in Computer Science

Optimisation modelling for software developers

K Francis, S Brand, PJ Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science: Principles and Practice of Constraint Programming

Inter-instance nogood learning in constraint programming

G Chu, PJ Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science

Conflict directed lazy decomposition

I Abío, PJ Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science: Principles and Practice of Constraint Programming

A generic method for identifying and exploiting dominance relations

G Chu, PJ Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science

Optimal guillotine layout

G Gange, K Marriott, P Stuckey

Conference Proceedings | 2012 | Proceedings of the 2012 ACM symposium on Document engineering

AI@NICTA

Nick Barnes, Peter Baumgartner, Tiberio Caetano, Hugh Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter Stuckey, Sylvie Thiebaux, Pascal Van Hentenryck, Toby Walsh

Journal article | 2012 | AI Magazine

Orthogonal hyperedge routing

M Wybrow, K Marriott, PJ Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science

A general implementation framework for tabled CLP

P Chico De Guzmán, M Carro, MV Hermenegildo, P Stuckey

Conference Proceedings | 2012 | Lecture Notes in Computer Science: Functional and Logic Programming

A complete solution to the Maximum Density Still Life Problem

Geoffrey Chu, Peter J Stuckey

Journal article | 2012 | Artificial Intelligence

Maximising the net present value for resource-constrained project scheduling

A Schutt, G Chu, PJ Stuckey, MG Wallace

Conference Proceedings | 2012 | LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Explaining propagators for s-DNNF circuits

G Gange, PJ Stuckey

Conference Proceedings | 2012 | LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Explaining flow-based propagation

N Downing, T Feydy, PJ Stuckey

Conference Proceedings | 2012 | LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings | 2012 | APLAS 2012: Proceedings of the 10th Asian Symposium on Programming Languages and Systems

Exploiting subproblem dominance in constraint programming

Geoffrey Chu, Maria Garcia de la Banda, Peter J Stuckey

Journal article | 2012 | Constraints

Automatic generation of protein structure cartoons with Pro-origami

Alex Stivala, Michael Wybrow, Anthony Wirth, James C Whisstock, Peter J Stuckey

Journal article | 2011 | Bioinformatics

Solving Talent Scheduling with Dynamic Programming

Maria Garcia de la Banda, Peter J Stuckey, Geoffrey Chu

Journal article | 2011 | INFORMS Journal on Computing

Symmetries and lazy clause generation

G Chu, PJ Stuckey, MG De La Banda, C Mears

Conference Proceedings | 2011 | Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence

Constraints in non-boolean contexts

L De Koninck, S Brand, PJ Stuckey

Conference Proceedings | 2011 | Technical Communications of the 27th International Conference on Logic Programming

MDD propagators with explanation

Graeme Gange, Peter J Stuckey, Radoslaw Szymanek

Journal article | 2011 | Constraints

Search combinators

T Schrijvers, G Tack, P Wuille, H Samulowitz, PJ Stuckey

Conference Proceedings | 2011 | Principles and Practice of Constraint Programming -- CP 2011

Half reification and flattening

T Feydy, Z Somogyi, PJ Stuckey

Conference Proceedings | 2011 | Principles and Practice of Constraint Programming - CP 2011

Optimal carpet cutting

A Schutt, PJ Stuckey, AR Verden

Conference Proceedings | 2011 | Principles and Practice of Constraint Programming -- CP 2011

Boolean equi-propagation for optimized SAT encoding

A Metodi, M Codish, V Lagoon, PJ Stuckey

Conference Proceedings | 2011 | Lecture Notes in Computer Science 6876

Explaining the cumulative propagator

Andreas Schutt, Thibaut Feydy, Peter J Stuckey, Mark G Wallace

Journal article | 2011 | Constraints

Piecewise linear approximation of protein structures using the principle of minimum message length

AS Konagurthu, L Allison, PJ Stuckey, AM Lesk

Journal article | 2011 | Bioinformatics

Piecewise linear approximation of protein structures using the principle of minimum message length

Arun S Konagurthu, Lloyd Allison, Peter J Stuckey, Arthur M Lesk

Conference Proceedings | 2011 | Bioinformatics (Oxford, England)

Reducing chaos in SAT-like search: Finding solutions close to a given one

I Abío, M Deters, R Nieuwenhuis, PJ Stuckey

Conference Proceedings | 2011 | LCNS - Lecture Notes in Computer Science

CP and IP approaches to cancer radiotherapy delivery optimization

Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J Stuckey

Journal article | 2011 | Constraints

Dantzig-Wolfe decomposition and branch-and-price solving in G12

Jakob Puchinger, Peter J Stuckey, Mark G Wallace, Sebastian Brand

Journal article | 2011 | Constraints

Optimal Automatic Table Layout

Graeme Gange, Kim Marriott, Peter Moulder, Peter Stuckey

Conference Proceedings | 2011 | Proceedings of the 11th ACM Symposium on Document Engineering

Memoizing a monadic mixin DSL

P Wuille, T Schrijvers, H Samulowitz, G Tack, P Stuckey

Conference Proceedings | 2011 | Lecture Notes in Computer Science -- Functional and Constraint Logic Programming

Optimal k-Level Planarization and Crossing Minimization

Graeme Gangel, Peter J Stuckey, Kim Marriott

Conference Proceedings | 2011 | Proceedings - Lecture Notes in Computer Science 2011

Improved Consensus Clustering via linear programming

N Downing, PJ Stuckey, A Wirth

Conference Proceedings | 2010 | Proceedings of the 33rd Australasian Computer Science Conference 2010

Fast and accurate protein substructure searching with simulated annealing and GPUs

Alex D Stivala, Peter J Stuckey, Anthony I Wirth

Journal article | 2010 | BMC Bioinformatics

Incremental Satisfiability and Implication for UTVPI Constraints

Andreas Schutt, Peter J Stuckey

Journal article | 2010 | INFORMS Journal on Computing

Lock-free parallel dynamic programming

Alex Stivala, Peter J Stuckey, Maria Garcia de la Banda, Manuel Hermenegildo, Anthony Wirth

Journal article | 2010 | Journal of Parallel and Distributed Computing

Philosophy of the MiniZinc challenge

Peter J Stuckey, Ralph Becket, Julien Fischer

Journal article | 2010 | Constraints

Orthogonal connector routing

M Wybrow, K Marriott, PJ Stuckey

Journal article | 2010 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

MUSTANG-MR Structural Sieving Server: Applications in Protein Structural Analysis and Crystallography

Arun S Konagurthu, Cyril F Reboul, Jason W Schmidberger, James A Irving, Arthur M Lesk, Peter J Stuckey, James C Whisstock, Ashley M Buckle

Journal article | 2010 | PLoS One

Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008)

Peter J Stuckey

Journal article | 2010 | Constraints

MIRAGAA-a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer

Raj K Gaire, James Bailey, Jennifer Bearfoot, Ian G Campbell, Peter J Stuckey, Izhak Haviv

Journal article | 2010 | Bioinformatics

Fast Set Bounds Propagation Using a BDD-SAT Hybrid

Graeme Gange, Peter J Stuckey, Vitaly Lagoon

Journal article | 2010 | Journal of Artificial Intelligence Research

Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving

Peter J Stuckey

Conference Proceedings | 2010 | Lecture Notes in Computer Science: International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization Problems 7th International Conference 2010

Automatically Exploiting Subproblem Equivalence in Constraint Programming

Geoffrey Chu, Maria Garcia de la Banda, Peter J Stuckey

Rapid Learning for Binary Programs

Timo Berthold, Thibaut Feydy, Peter J Stuckey

A declarative encoding of telecommunications feature subscription in SAT

M Codish, S Genaim, PJ Stuckey

Conference Proceedings | 2009 | Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming

The proper treatment of undefinedness in constraint languages

AM Frisch, PJ Stuckey

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Maintaining state in propagation solvers

RM Reischuk, C Schulte, PJ Stuckey, G Tack

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Monadic constraint programming

Tom Schrijvers, Peter Stuckey, Philip Wadler

Journal article | 2009 | Journal of Functional Programming

Demand-driven normalisation for ACD term rewriting

L De Koninck, GJ Duck, PJ Stuckey

Conference Proceedings | 2009 | Lecture Notes in Computer Science: Logic Programming

Propagation via lazy clause generation

Olga Ohrimenko, Peter J Stuckey, Michael Codish

Journal article | 2009 | Constraints

Propagating systems of dense linear integer constraints

Thibaut Feydy, Peter J Stuckey

Journal article | 2009 | Constraints

Tableau-based protein substructure search using quadratic programming.

Alex Stivala, Anthony Wirth, Peter J Stuckey

Journal article | 2009 | BMC Bioinformatics

BACKGROUND: Searching for proteins that contain similar substructures is an important task in structural biology. The exact soluti..

Erratum: Efficient constraint propagation engines (ACM Transactions on Programming Languages and Systems 31:1 DOI 10.1145/1452044/1452046)

C Schulte, PJ Stuckey

Journal article | 2009 | ACM Transactions on Programming Languages and Systems

Confidence-Based Work Stealing in Parallel Constraint Programming

Geoffrey Chu, Christian Schulte, Peter J Stuckey

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Minimizing the Maximum Number of Open Stacks by Customer Search

Geoffrey Chu, Peter J Stuckey

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Why Cumulative Decomposition Is Not as Bad as It Sounds

Andreas Schutt, Thibaut Feydy, Peter J Stuckey, Mark G Wallace

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

The Evolving World of MiniZinc

P STUCKEY, R BECKET, S BRAND, M BROWN, T FEYDY, J FISCHER, undefined Garcia de la Banda, undefined Marriott, undefined Wallace

Conference Proceedings | 2009 | Constraint Modelling and Reformulation (ModRef 09): Eighth International Workshop

Cache Conscious Data Structures for Boolean Satisfiability Solvers

GG CHU, A HARWOOD, P STUCKEY

Journal article | 2009 | Journal of Satisfiability, Boolean Modeling and Computation

Using Relaxations in Maximum Density Still Life

Geoffrey Chu, Peter J Stuckey, Maria Garcia de la Banda

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Lazy Clause Generation Reengineered

Thibaut Feydy, Peter J Stuckey

Conference Proceedings | 2009 | Lecture Notes in Computer Science:Principles and Practice of Constraint Programming CP2009

Global difference constraint propagation for finite domain solvers

T Feydy, A Schutt, PJ Stuckey

Conference Proceedings | 2008 | Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Dynamic variable elimination during propagation solving

C Schulte, PJ Stuckey

Conference Proceedings | 2008 | Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

The core concept for 0/1 integer programming

S Huston, J Puchinger, P Stuckey

Conference Proceedings | 2008 | Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)

Telecommunications feature subscription as a partial order constraint problem

M Codish, V Lagoon, PJ Stuckey

Conference Proceedings | 2008 | Logic Programming (Lecture Notes in Computer Science)

Modelling for lazy clause generation

O Ohrimenko, PJ Stuckey

Conference Proceedings | 2008 | Theory of Computing 2008. Proceedings of the Fourteenth Computing: The Australasian Theory Symposium (CATS 2008)

Dynamic analysis of bounds versus domain propagation

C Schulte, PJ Stuckey

Conference Proceedings | 2008 | Logic Programming (Lecture Notes in Computer Science)

Efficient Constraint Propagation Engines

Christian Schulte, Peter J Stuckey

Journal article | 2008 | ACM Transactions on Programming Languages and Systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

PJ Stuckey

Book | 2008 | Lecture Notes in Artificial Intelligence

Exploration of Networks Using Overview plus Detail with Constraint-based Cooperative Layout

Tim Dwyer, Kim Marriott, Falk Schreiber, Peter J Stuckey, Michael Woodward, Michael Wybrow

Journal article | 2008 | IEEE Transactions on Visualization and Computer Graphics

The design of the zinc modelling language

Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J Stuckey, Maria Garcia de la Banda, Mark Wallace

Journal article | 2008 | Constraints

New integer linear programming approaches for course timetabling

Natashia Boland, Barry D Hughes, Liam TG Merlot, Peter J Stuckey

Journal article | 2008 | Computers & Operations Research

Optimizing compilation of CHR with rule priorities

L De Koninck, PJ Stuckey, GJ Duck

Conference Proceedings | 2008 | LNCS: Functional and Logic Programming: 9th International Symposium, FLOPS 2008

Structural search and retrieval using a tableau representation of protein folding patterns

Arun S Konagurthu, Peter J Stuckey, Arthur M Lesk

Journal article | 2008 | Bioinformatics

HM(X) type inference is CLP(X) solving

Martin Sulzmann, Peter J Stuckey

Journal article | 2008 | Journal of Functional Programming

Comparing usability of one-way and multi-way constraints for diagram editing

Michael Wybrow, Kim Marriott, Linda McIver, Peter J Stuckey

Journal article | 2008 | ACM Transactions on Computer-Human Interaction

Logic programming with satisfiability

Michael Codish, Vitaly Lagoon, Peter J Stuckey

Journal article | 2008 | Theory and Practice of Logic Programming: 8(1):121-128, 2008

Automating Branch-and-Bound for Dynamic Programs

Jakob Puchinger, Peter J Stuckey

Conference Proceedings | 2008 | PEPM '08: Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

Flexible, rule-based constraint model linearisation

Sebastian Brand, Gregory J Duck, Jakob Puchinger, Peter J Stuckey

Conference Proceedings | 2008 | Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (Lecture Notes in Computer Science)

From high-level model to branch-and-price solution in G12

Jakob Puchinger, Peter J Stuckey, Mark Wallace, Sebastian Brand

Conference Proceedings | 2008 | LNCS: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

The Many Roads Leading to Rome: Solving Zinc Models by Various Solvers

R BECKET, S BRAND, M BROWN, G DUCK, T FEYDY, J FISCHER, J Huang, K Marriott, N NETHERCOTE, M Wallace, P STUCKEY, R Rafeh, J PUCHINGER

Conference Proceedings | 2008 | The 7th International Workshop on Constraint Modelling and Reformulation (ModRef'08): Collocated with the Special Session on Declarative Programming Paradigms and Systems for Non-Monotonic Reasoning at NMR'08

Solving Partial Order Constraints for LPO Termination

undefined Codish, V LAGOON, P STUCKEY

Journal article | 2008 | Journal of Satisfiability, Boolean Modeling and Computation

Fast Set Bounds Propagation using BDDs

Graeme Gange, Vitaly Lagoon, Peter J Stuckey

Conference Proceedings | 2008 | Proceedings of the 18th European Conference on Artificial Intelligence 2008

Cadmium: An Implementation of ACD Term Rewriting

Gregory J Duck, Leslie De Koninck, Peter J Stuckey

Conference Proceedings | 2008 | Logic Programming (Lecture Notes in Computer Science)

Smooth Linear Approximation of Non-overlap Constraints

Graeme Gange, Kim Marriott, Peter J Stuckey

Conference Proceedings | 2008 | Diagrammatic Representation and Inference (Lecture Notes in Computer Science)

Encodings of the SEQUENCE constraint

S Brand, N Narodytska, CG Quimper, P Stuckey, T Walsh

Conference Proceedings | 2007 | Principles and Practice of Constraint Programming

MiniZinc: Towards a standard CP modelling language

N Nethercote, PJ Stuckey, R Becket, S Brand, GJ Duck, G Tack

Conference Proceedings | 2007 | Principles and Practice of Constraint Programming

The island confinement method for reducing search space in local search methods

H Fang, Y Kilani, JHM Lee, PJ Stuckey

Journal article | 2007 | Journal of Heuristics

Practical preference relations for large data sets

KA Ross, PJ Stuckey, A Marian

Conference Proceedings | 2007 | ICDEW '07 Proceedings of the 2007 IEEE 23rd International Conference on Data Engineering Workshop

Dynamic programming to minimize the maximum number of open stacks

Maria Garcia de la Banda, Peter J Stuckey

Journal article | 2007 | INFORMS Journal on Computing

Removing propagation redundant constraints in redundant modeling

CW Choi, JHM Lee, PJ Stuckey

Journal article | 2007 | ACM Transactions on Computational Logic

Observable confluence for constraint handling rules

Gregory J Duck, Peter J Stuckey, Martin Sulzmann

Conference Proceedings | 2007 | Logic Programming - 23rd International Conference, ICLP 2007

Propagation=lazy clause generation

Olga Ohrimenko, Peter J Stuckey, Michael Codish

Conference Proceedings | 2007 | Principles and Practice of Constraint Programming - CP 2007

Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches

Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J Stuckey

Conference Proceedings | 2007 | Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems

Understanding functional dependencies via constraint handling rules

Martin Sulzmann, Gregory J Duck, Simon Peyton-Jones, Peter J Stuckey

Journal article | 2007 | Journal of Functional Programming

Propagating Dense Systems of Integer Linear Equations

Thibaut Feydy, Peter J Stuckey

Conference Proceedings | 2007 | Proceedings of the 2007 ACM Symposium on Applied Computing

Constraint Propagation for Loose Constraint Graphs

Kathryn Francis, Peter J Stuckey

Conference Proceedings | 2007 | Proceedings of the 22nd Annual ACM Symposium on Applied Computing

Fast node overlap removal-correction

Tim Dwyer, Kim Marriott, Peter J Stuckey

Conference Proceedings | 2007 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware

L Ni, A Harwood, PJ Stuckey

Conference Proceedings | 2006 | Proceedings of the 4th International Workshop on Middleware for Grid Computing

Finite domain bounds consistency revisited

CW Choi, W Harvey, JHM Lee, PJ Stuckey

Conference Proceedings | 2006 | AI 2006: Advances in Artificial Intelligence

Improving PARMA trailing

Tom Schrijvers, Bart Demoen, Maria Garcia De la Banda, Peter J Stuckey

Journal article | 2006 | Theory and Practice of Logic Programming

MUSTANG: A multiple structural alignment algorithm

Arun S Konagurthu, James C Whisstock, Peter J Stuckey, Arthur M Lesk

Journal article | 2006 | Proteins - Structure, Function, and Bioinformatics

Optimal sum-of-pairs multiple sequence alignment using incremental Carrillo and Lipman bounds

Arun S Konagurthu, Peter J Stuckey

Journal article | 2006 | Journal of Computational Biology

Automatic implication checking for CHR constraints

T Schrijvers, B Demoen, G Duck, P Stuckey, T Frühwirth

Journal article | 2006 | Electronic Notes in Theoretical Computer Science

NP-completeness of minimal width unordered tree layout

K Marriott, PJ Stuckey

Book Chapter | 2006

A framework for extended algebraic data types

Martin Sulzmann, Jeremy Wazny, Peter J Stuckey

Conference Proceedings | 2006 | Functional and Logic Programming

Incremental connector routing

M Wybrow, K Marriott, PJ Stuckey

Conference Proceedings | 2006 | Graph Drawing

Fast node overlap removal

T Dwyer, K Marriott, PJ Stuckey

Conference Proceedings | 2006 | Graph Drawing

Chapter 12 Constraint logic programming

K Marriott, M Wallace, PJ Stuckey

Journal article | 2006 | Foundations of Artificial Intelligence

Hybrid BDD and SAT finite domain constraint solver

P Hawkins, PJ Stuckey

Conference Proceedings | 2006 | Practical Aspects of Declarative Languages

Size-change termination analysis in kappa-bits

M Codish, V Lagoon, P Schachte, PJ Stuckey

Conference Proceedings | 2006 | Programming Languages and Systems (Lecture Notes in Computer Science)

ACD Term Rewriting

Gregory J Duck, Peter J Stuckey, Sebastian Brand

Conference Proceedings | 2006 | Logic Programming

A stochastic non-CNF SAT solver

Rafiq Muhammad, Peter J Stuckey

Conference Proceedings | 2006 | PRICAI 2006: Trends in Artificial Intelligence

Adding constraint solving to Mercury

R Becket, MG de la Banda, K Marriott, Z Somogyi, PJ Stuckey, M Wallace

Conference Proceedings | 2006 | Practical Aspects of Declarative Languages

Principal type inference for GHC-style multi-parameter type classes

Martin Sulzmann, Tom Schrijvers, Peter J Stuckey

Conference Proceedings | 2006 | Programming Languages and Systems

Constraint Logic Programming

Kim Marriott, Peter J Stuckey, Mark Wallace

Book Chapter | 2006

Solving partial order constraints for LPO termination

Michael Codish, Vitaly Lagoon, Peter J Stuckey

Conference Proceedings | 2006 | Journal of Satisfiability, Boolean Modeling and Computation, 5:193-215: 2008

Type processing by constraint reasoning

Peter J Stuckey, Martin Sulzmann, Jeremy Wazny

Conference Proceedings | 2006 | Programming Languages and Systems

Abstract interpretation for constraint handling rules

T Schrijvers, PJ Stuckey, GJ Duck

Conference Proceedings | 2005 | Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Towards flexible graphical communication using adaptive diagrams

K Marriott, B Meyer, PJ Stuckey

Journal article | 2005 | Conferences in Research and Practice in Information Technology Series

Checking modes of HAL programs

MG De la Banda, W Harvey, K Marriott, PJ Stuckey, B Demoen

Journal article | 2005 | Theory and Practice of Logic Programming

A theory of overloading

PJ Stuckey, M Sulzmann

Journal article | 2005 | ACM Transactions on Programming Languages and Systems

Optimizing compilation of constraint handling rules in HAL

C Holzbaur, MG De la Banda, PJ Stuckey, GJ Duck

Journal article | 2005 | Theory and Practice of Logic Programming

When do bounds and domain propagation lead to the same search space?

C Schulte, PJ Stuckey

Journal article | 2005 | ACM Transactions on Programming Languages and Systems

Testing for termination with monotonicity constraints

M Codish, V Lagoon, PJ Stuckey

Conference Proceedings | 2005 | Proceedings of the International Conference on Logic Programming

The G12 project: Mapping solver independent models to efficient solutions

PJ Stuckey, MG de la Banda, M Maher, K Marriott, J Slaney, Z Somogyi, M Wallace, T Walsh

Conference Proceedings | 2005 | Logic Programming: 21st International Conference, ICLP 2005

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

J Bailey, PJ Stuckey

Conference Proceedings | 2005 | Practical Aspects of Declarative Languages

The G12 project: Mapping solver independent models to efficient solutions

PJ Stuckey, MG de la Banda, M Maher, K Marriott, J Slaney, Z Somogyi, M Wallace, T Walsh

Conference Proceedings | 2005 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Structuring Documents Efficiently

RGJ MARSHALL, SG BIRD, PJ STUCKEY

Conference Proceedings | 2005 | Proceedings of the Australasian Language Technology Workshop

Solving set constraint satisfaction problems using ROBDDS

P Hawkins, V Lagoon, PJ Stuckey

Journal article | 2005 | Journal Of Artificial Intelligence Research, Volume 24, pages 109-156, 2005

Improving type error diagnosis

PJ Stuckey, M Sulzmann, J Wazny

Conference Proceedings | 2004 | Proceedings of the ACM SIGPLAN 2004 Haskell Workshop

PROGRESSIVE MULTIPLE ALIGNMENT USING SEQUENCE TRIPLET OPTIMIZATIONS AND THREE-RESIDUE EXCHANGE COSTS

ARUNSIDDHARTH KONAGURTHU, JAMES WHISSTOCK, PETERJ STUCKEY

Journal article | 2004 | Journal of Bioinformatics and Computational Biology

In this paper we demonstrate a practical approach to construct progressive multiple alignments using sequence triplet optimization..

Just enough tabling

K Sagonas, PJ Stuckey

Conference Proceedings | 2004 | Proceedings of the Sixth ACM SIGPLAN International Conference

Progressive multiple alignment using sequence triplet optimizations and three-residue exchange costs.

Arun Siddharth Konagurthu, James Whisstock, Peter J Stuckey

Journal article | 2004 | Journal of Bioinformatics and Computational Biology

In this paper we demonstrate a practical approach to construct progressive multiple alignments using sequence triplet optimization..

Compiling ask constraints

GJ Duck, MG de la Banda, PJ Stuckey

Conference Proceedings | 2004 | Logic Prgramming, 20th International Conference, ICLP 2004

Herbrand constraints in HAL

B Demoen, MG de la Banda, W Harvey, K Marriott, D Overton, PJ Stuckey

Book Chapter | 2004 | Lecture Notes in Artificial Intelligence

A generic framework for context-sensitive analysis of modular programs

G Puebla, J Correas, MV Hermenegildo, F Bueno, MG de la Banda, K Marriott, PJ Stuckey

Journal article | 2004 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Speeding up constraint propagation

C Schulte, PJ Stuckey

Conference Proceedings | 2004 | Principles and Practices of Constraint Programming -- CP 2004

Set domain propagation using ROBDDs

V Lagoon, PJ Stuckey

Conference Proceedings | 2004 | Principles and Practices of Constraint Programming -- CP 2004

Sound and decidable type inference for functional dependencies

GJ Duck, S Peyton-Jones, PJ Stuckey, M Sulzmann

Conference Proceedings | 2004 | Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004

Towards flexible graphical communication using adaptive diagrams

K Marriott, B Meyer, PJ Stuckey

Conference Proceedings | 2004 | Advances in Computer Science - ASIAN 2004 Higher Level Decision Making

A Generic Framework for Context-Sensitive Analysis of Modular Programs

G PUEBLA, M HERMENEGILDO, MG DE LA BANDA, F BUENO, K MARRIOTT, PJ STUCKEY

Book Chapter | 2004

The refined operational semantics of Constraint Handling Rules

GJ Duck, PJ Stuckey, MG de la Banda, C Holzbaur

Conference Proceedings | 2004 | Logic Prgramming, 20th International Conference, ICLP 2004

Set bounds and (split) set domain propagation using ROBDDs

P Hawkins, V Lagoon, PJ Stuckey

Conference Proceedings | 2004 | AI 2004: Advances in Artificial Intelligence, 17th Australian Joint Conference on Artificial Intelligence

NP-completeness of minimal width unordered tree layout

K Marriott, PJ Stuckey

Journal article | 2004 | Journal of Graph Algorithms and Applications

Preface

Y Kameyama, PJ Stuckey

Book | 2004 | Lecture Notes in Artificial Intelligence

Interactive Type Debugging in Haskell

PJ Stuckey, M Sulzmann, J Wazny

Conference Proceedings | 2003 | Proceedings of the ACM SIGPLAN 2003 Haskell Workshop

Finding All Minimal Unsatisfiable Subsets

M Garcia de la Banda, PJ Stuckey, J Wazny

Conference Proceedings | 2003 | Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Extending Arbitrary Solvers with Constraint Handling Rules

GJ Duck, PJ Stuckey, MG De la Banda, C Holzbaur

Conference Proceedings | 2003 | Proceedings of the Fifth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Propagation redundancy for permutation channels

CW Choi, JHM Lee, PJ Stuckey

Conference Proceedings | 2003 | IJCAI International Joint Conference on Artificial Intelligence

Efficient representation of Adhoc constraints

KCK Cheng, JHM Lee, PJ Stuckey

Conference Proceedings | 2003 | IJCAI International Joint Conference on Artificial Intelligence

Flexible access control policy specification with constraint logic programming

S Barker, PJ Stuckey

Journal article | 2003 | ACM Transactions on Information and System Security

Improving linear constraint propagation by changing constraint representation

W Harvey, PJ Stuckey

Journal article | 2003 | Constraints

Removing node overlapping in graph layout using constrained optimization

K Marriott, P Stuckey, V Tam, WQ He

Journal article | 2003 | Constraints

A hybrid algorithm for the examination timetabling problem

LTG Merlot, N Boland, BD Hughes, PJ Stuckey

Conference Proceedings | 2003 | Lecture Notes in Computer Science: Practice and Theory of Automated Timetabling IV

Termination analysis with types is more accurate

V Lagoon, F Mesnard, PJ Stuckey

Conference Proceedings | 2003 | Logic Programming

Box constraint collections for adhoc constraints

CK Cheng, JHM Lee, PJ Stuckey

Conference Proceedings | 2003 | Principles and Practice of Constraint Programming - CP2003

Improving nogood recording using 2SAT

PJ Stuckey, L Zheng

Conference Proceedings | 2003 | Proceedings of the Fifteenth IEEE International Conference on Tools with Artificial Intelligence

The Usefulness of Constraints for Diagram Editing

M WYBROW, K MARRIOTT, L MCIVER, PJ STUCKEY

Conference Proceedings | 2003 | Proceedings of the 2003 Australasian Computer Human Interaction Conference

The Chameleon Type Debugger

PJ STUCKEY, M SULZMANN, JR WAZNY

Conference Proceedings | 2003 | Proceedings of the Fifth International Workshop on Automated Debugging

Resource usage verification

K Marriott, PJ Stuckey, M Sulzmann

Conference Proceedings | 2003 | Programming Languages and Systems

Propagation redundancy in redundant modelling

CW Choi, JHM Lee, PJ Stuckey

Conference Proceedings | 2003 | Principles and Practice of Constraint Programming - CP2003

Reducing search space in local search for constraint satisfaction

H Fang, Y Kilani, JHM Lee, PJ Stuckey

Conference Proceedings | 2002 | Proceedings of the Eighteenth National Conference on Artificial Intelligence

A theory of overloading

PJ Stuckey, M Sulzmann

Conference Proceedings | 2002 | Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming

Efficient intelligent backtracking using linear programming

B Davey, N Boland, PJ Stuckey

Journal article | 2002 | INFORMS Journal on Computing

Exception analysis for non-strict languages

K Glynn, PJ Stuckey, M Sulzmann, H Sondergaard

Report | 2002 | ACM Sigplan Notices

Fourier elimination for compiling constraint hierarchies

W Harvey, PJ Stuckey, A Borning

Journal article | 2002 | Constraints

Flexible graph layout for the Web

T Hansen, K Marriott, B Meyer, PJ Stuckey

Journal article | 2002 | Journal of Visual Languages and Computing

Using the heap to eliminate stack accesses

Z Somogyi, PJ Stuckey

Conference Proceedings | 2002 | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Precise pair-sharing analysis of logic programs

V Lagoon, PJ Stuckey

Conference Proceedings | 2002 | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Improving GSAT using 2SAT

PJ Stuckey, L Zheng

Conference Proceedings | 2002 | Principles and Practice of Constraint Programming - CP 2002

Exception analysis for non-strict languages

K GLYNN, P STUCKEY, M SULZMANN, H SONDERGAARD

Conference Proceedings | 2002 | Proceedings of the 7th International Conference on Functional Programming

Compacting discriminator information for spatial trees

I SITZMANN, PJ STUCKEY

Conference Proceedings | 2002 | Proceedings of the Thirteenth Australasian Database Conference

Constraint-based mode analysis of mercury

D Overton, Z Somogyi, PJ Stuckey

Conference Proceedings | 2002 | Proceedings of the Fourth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Improving SAT using 2SAT

L ZHENG, PJ STUCKEY

Conference Proceedings | 2002 | Australian Computer Science Communications

To the gates of HAL: A HAL tutorial

MG de la Banda, B Demoen, K Marriott, PJ Stuckey

Conference Proceedings | 2002 | Functional and Logic Programming: 6th International Symposium

The Cassowary Linear Arithmetic Constraint Solving Algorithm

GJ Badros, A Borning, PJ Stuckey

Journal article | 2001 | Association for Computing Machinery. Communications

Untitled - Preface

N Boland, M Krishnamoorthy, P Stuckey

Journal article | 2001 | ANNALS OF OPERATIONS RESEARCH

Building constraint solvers with HAL

MG De La Banda, D Jeffery, K Marriott, N Nethercote, PJ Stuckey, C Holzbaur

Conference Proceedings | 2001 | Lecture Notes in Computer Science

A model for inter-module analysis and optimizing compilation

R Bueno, MG de la Banda, M Hermenegildo, K Marriott, G Puebla, PJ Stuckey

Conference Proceedings | 2001 | Lecture Notes in Computer Science

A General Type Class Framework

K GLYNN, PJ STUCKEY, M SULZMANN

Report | 2001

Cost-based unbalanced R-trees

KA Ross, I Sitzmann, PJ Stuckey

Conference Proceedings | 2001 | Proceedings of the Thirteenth International Conference on Scientific and Statistical Database Management

Higher-Precision Groudness Analysis

M CODISH, S GENAIM, HC SONDERGAARD, PJ STUCKEY

Conference Proceedings | 2001 | Lecture Notes in Computer Science

Boolean Constraints for Binding-Time Analysis

K GLYNN, PJ STUCKEY, M SULZMANN, HC SONDERGAARD

Conference Proceedings | 2001 | Lecture Notes in Computer Science

To achieve acceptable accuracy, many program analyses for functional programs are “property polymorphic”. That is, they can infer ..

A framework for analysis of typed logic programs

V Lagoon, PJ Stuckey

Conference Proceedings | 2001 | Lecture Notes in Computer Science

Effective strictness analysis with HORN constraints

K Glynn, PJ Stuckey, M Sulzmann

Journal article | 2001 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Solving disjunctive constraints for interactive graphical applications

K Marriott, P Moulder, PJ Stuckey, A Borning

Conference Proceedings | 2001 | Lecture Notes in Computer Science

A Systematic Approach in Type System Design based on Constraint Handling Rules

PJ STUCKEY, M SULZMANN

Report | 2001

When do bounds and domain propagation lead to the same search space

C Schulte, PJ Stuckey

Conference Proceedings | 2001 | Proceedings of the 3rd International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Efficient Strictness Analysis with HORN Constraints

K GLYNN, PJ STUCKEY, M SULZMANN

Conference Proceedings | 2001 | Lecture Notes in Computer Science

The HM(CHR) Framework

K GLYNN, PJ STUCKEY, M SULZMANN

Report | 2001

Optimizing compilation of constraint handling rules

C Holzbaur, MG de la Banda, D Jeffery, PJ Stuckey

Conference Proceedings | 2001 | Lecture Notes in Computer Science

Improving temporal joins using histograms

I Sitzmann, PJ Stuckey

Conference Proceedings | 2000 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

O-trees: A constraint-based index structure

I Sitzmann, P Stuckey

Conference Proceedings | 2000 | Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No.PR00528)

Incremental analysis of constraint logic programs

M Hermenegildo, G Puebla, K Marriott, PJ Stuckey

Journal article | 2000 | ACM Transactions on Programming Languages and Systems

Preface

J Lloyd, V Dahl, U Furbach, M Kerber, KK Lau, C Palamidessi, LM Pereira, Y Sagiv, PJ Stuckey

Conference Proceedings | 2000 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Lagrangian reconstruction of GENET

KMF Choi, JHM Lee, PJ Stuckey

Journal article | 2000 | Artificial Intelligence

Mode checking in HAL

MG De La Banda, PJ Stuckey, W Harvey, K Marriott

Conference Proceedings | 2000 | Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Constraint cascading style sheets for the web

GJ Badros, A Borning, K Marriott, P Stuckey

Conference Proceedings | 1999 | UIST (User Interface Software and Technology): Proceedings of the ACM Symposium

Sharing and groundness dependencies in logic programs

M Codish, H Sondergaard, PJ Stuckey

Journal article | 1999 | ACM Transactions on Programming Languages and Systems

An overview of HAL

B Demoen, MG de la Banda, W Harvey, K Marriott, P Stuckey

Conference Proceedings | 1999 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Extending GENET with lazy arc consistency

PJ Stuckey, V Tam

Journal article | 1998 | IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans

Optimizing compilation of CLP(R)

AD Kelly, K Marriott, A Macdonald, PJ Stuckey, R Yap

Journal article | 1998 | ACM Transactions on Programming Languages and Systems

Differential methods in logic program analysis

MG de la Banda, K Marriott, P Stuckey, H Sondergaard

Journal article | 1998 | The Journal of Logic Programming

Foundations of aggregation constraints

KA Ross, D Srivastava, PJ Stuckey, S Sudarshan

Journal article | 1998 | Theoretical Computer Science

A practical object-oriented analysis engine for CLP

AD Kelly, K Marriott, H Sondergaard, PJ Stuckey

Journal article | 1998 | Software: Practice and Experience

The semantics of constraint logic programs

J Jaffar, M Maher, K Marriott, P Stuckey

Journal article | 1998 | The Journal of Logic Programming

Constraint representation for propagation

W Harvey, PJ Stuckey

Conference Proceedings | 1998 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Lagrangian reconstruction of a class of local search methods

KMF Choi, JHM Lee, PJ Stuckey

Conference Proceedings | 1998 | Proceedings of the International Conference on Tools with Artificial Intelligence

An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs

DB Kemp, K Ramamohanarao, PJ Stuckey

Journal article | 1997 | Journal of Systems Integration

Extending EGENET with lazy constraint consistency

P Stuckey, V Tam

Conference Proceedings | 1997 | Proceedings of the International Conference on Tools with Artificial Intelligence

A generic object-oriented incremental analyser for constraint logic programs

A Kelly, K Marriott, H SONDERGAARD, P Stuckey

Conference Proceedings | 1997

Solving linear arithmetic constraints for user interface applications

A Borning, K Marriott, P Stuckey, Y Xiao

Conference Proceedings | 1997 | UIST (User Interface Software and Technology): Proceedings of the ACM Symposium

Compiling constraint solving using projection

W Harvey, PJ Stuckey, A Borning

Conference Proceedings | 1997 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

PJ Stuckey, S Sudarshan

Journal article | 1997 | Journal of Logic Programming

Meta-programming in CLP(ℛ)

N Heintze, S Michaylov, PJ Stuckey, RHC Yap

Journal article | 1997 | The Journal of Logic Programming

Well-founded ordered search: Goal-directed bottom-up evaluation of well-founded models

PJ Stuckey, S Sudarshan

Journal article | 1997 | The Journal of Logic Programming

Low-contact learning in a first year programming course

R Johnston, A Moffat, H Søndergaard, P Stuckey

Conference Proceedings | 1996 | Proceedings of the first Australasian conference on Computer science education - ACSE '96

Optimizing bottom-up evaluation of constraint queries

DB Kemp, PJ Stuckey

Journal article | 1996 | The Journal of Logic Programming

Cost-Based Optimization for Magic: Algebra and Implementation

P Seshadri, R Ramakrishnan, JM Hellerstein, D Srivastava, H Pirahesh, PJ Stuckey, TYC Leung, S Sudarshan

Journal article | 1996 | ACM SIGMOD Record

Using stochastic methods to guide search in CLP: A preliminary report

JHM Lee, HF Leung, PJ Stuckey, VWL Tam, HW Won

Conference Proceedings | 1996 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Two applications of an incremental analysis engine for (Constraint) logic programs

AD Kelly, K Marriott, H Søndergaard, PJ Stuckey

Conference Proceedings | 1996 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Models for using stochastic constraint solvers in constraint logic programming

PJ Stuckey, V Tam

Conference Proceedings | 1996 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Optimizing bottom-up evaluation of constraint queries

DB Kemp, PJ Stuckey

Journal article | 1996 | Journal of Logic Programming

Bottom-up evaluation and query optimization of well-founded models

DB Kemp, D Srivastava, PJ Stuckey

Journal article | 1995 | Theoretical Computer Science

On inductive inference of cyclic structures

MJ Maher, PJ Stuckey

Journal article | 1995 | Annals of Mathematics and Artificial Intelligence

ELS-programs and the efficient evaluation of non-stratified programs by transformation to ELS

DB Kemp, K Ramamohanarao, PJ Stuckey

Conference Proceedings | 1995 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Negation and constraint logic programming

PJ Stuckey

Journal article | 1995 | Information and Computation

An optimizing compiler for CLP(R)

AD Kelly, A Macdonald, K Marriott, H Søndergaard, PJ Stuckey, RHC Yap

Conference Proceedings | 1995 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

The aditi deductive database system

J Vaghanl, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey, TS Leask, J Harland

Journal article | 1994 | The VLDB Journal

Optimizing compilation for CLP(R)

K Marriott, H SONDERGAARD, P Stuckey, R Yap

Conference Proceedings | 1994

Compiling query constraints

PJ Stuckey, S Sudarshan

Conference Proceedings | 1994 | Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems

Foundations of aggregation constraints

KA Ross, D Srivastava, PJ Stuckey, S Sudarshan

Conference Proceedings | 1994 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Beyond finite domains

J Jaffar, MJ Maher, PJ Stuckey, RHC Yap

Conference Proceedings | 1994 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Projecting CLP R constraints

J Jaffar, MJ Maher, PJ Stuckey, RHC Yap

Journal article | 1993 | New Generation Computing

Semantics of Constraint Logic Programs with Optimization

K Marriott, PJ Stuckey

Journal article | 1993 | ACM Letters on Programming Languages and Systems

Well-founded ordered search

PJ Stuckey, S Sudarshan

Conference Proceedings | 1993 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

3 R's of optimizing constraint logic programs: Refinement, removal and reordering

K Marriott, PJ Stuckey

Conference Proceedings | 1993 | Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Transforming normal logic programs to constraint logic programs

K Kanchanasut, PJ Stuckey

Journal article | 1992 | Theoretical Computer Science

CLP(ℜ) and some electrical engineering problems

N Heintze, S Michaylov, P Stuckey

Journal article | 1992 | Journal of Automated Reasoning

An Abstract Machine for CLP(R)

J Jaffar, S Michaylov, PJ Stuckey, RHC Yap

Journal article | 1992 | ACM SIGPLAN Notices

The CLP(R) Language and System

J Jaffar, S Michaylov, PJ Stuckey, RHC Yap

Journal article | 1992 | ACM Transactions on Programming Languages and Systems

Magic sets and bottom-up evaluation of well-founded models

DB Kemp, PJ Stuckey, D Srivastava

Conference Proceedings | 1991

Semantics of logic programs with aggregates

DB Kemp, PJ Stuckey

Conference Proceedings | 1991

The CLP(R) language and system: An overview

J Jaffar, S Michaylov, PJ Stuckey, RHC Yap

Conference Proceedings | 1991 | Digest of Papers - IEEE Computer Society International Conference

Constructive negation for constraint logic programming

PJ Stuckey

Conference Proceedings | 1991 | Proceedings - Symposium on Logic in Computer Science

Design overview of the Aditi deductive database system

J Vaghani, K Ramamohanarao, DB Kemp, Z Somogyi, PJ Stuckey

Conference Proceedings | 1991 | Proceedings - International Conference on Data Engineering

Incremental linear constraint solving and detection of implicit equalities

PJ Stuckey

Journal article | 1991 | ORSA Journal on Computing

A constraint logic programming shell

P Lim, PJ Stuckey

Conference Proceedings | 1990 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Eliminating negation from normal logic programs

K Kanchanasut, P Stuckey

Conference Proceedings | 1990 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Canonical logic programs

J Jaffar, PJ Stuckey

Journal article | 1986 | The Journal of Logic Programming

Logic program semantics for programming with equations

J Jaffar, PJ Stuckey

Conference Proceedings | 1986 | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Semantics of infinite tree logic programming

J Jaffar, PJ Stuckey

Journal article | 1986 | Theoretical Computer Science

388

Scholarly Works

Keyword Analysis

Computer Software and Services

Computer Software

Artificial Intelligence and Image Processing

Expanding Knowledge

Computation Theory and Mathematics

Artificial Intelligence and Signal and Image Processing

Information Systems

Numerical and Computational Mathematics

Data Format

Other Information and Communication Services

Honours, Awards and Fellowships

2010

2010 Woodward Medal in Science and Technology

University of Melbourne

2010

2010 Google Australia Eureka Prize for Innovation in Computer Science

Australian Museum

2019

FAAAI - Fellow of the Association for the Advancement of Artificial Intelligence

Prof

Peter Stuckey

Honorary

Prof

Peter Stuckey

Enquiries

Contact Peter

Division

Engineering

Primary Interest

Constraint Programming

Prof

Peter Stuckey

Enquiries

Contact

Find out more about Peter Stuckey's experience

Peter Stuckey's highlights

FEATURED Journal article

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks over Multiple Time Periods

Peter Stuckey's selected work

Research Contracts

Journal article

Research Contracts

Journal article

Research Contracts

Journal article

Projects

Learning Behaviour Switching Policies

Design Of Road Networks Through Ecologically Sensitive Regions Incorporating Operational Flexibility

Solving Graph Problems Using Constraint Programming With Learning

Parallelization Of Lazy Clause Generation

Next-Generation Protein Structural Comparison Using Information Theory

Analysing Computer Arithmetic To Improve Software Reliability

Mathematics And Computing For Integrated Stockyard-Centric Management Of Mining Supply Chains

Mathematics And Computing For Integrated Stockyard-Centric Management Of Mining Supply Chains

Making The Pilbara Blend: Agile Mine Scheduling Through Contingent Planning

Making The Pilbara Blend: Agile Mine Scheduling Through Contingent Planning

Automatic Software Verification: Harnessing Constraint Technologies

Supporting Adaptive, Interactive Documents

Visit From Alan Frisch, University Of York

Arc Dp (Shared): Supporting Adaptive Diagrammatic Communication

Arc Centre For Perceptive And Intelligent Machines In Complex Environments

Languages For Constraint Programming: Design And Implementation

16

Projects

Project Types

Scholarly Works

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation

Toward Computing the Margin of Victory in Single Transferable Vote Elections

Short-term planning for open pit mines: a review

Information-Theoretic Inference of an Optimal Dictionary of Protein Supersecondary Structures.

Semi-supervised blockmodelling with pairwise guidance

Constraints for symmetry breaking in graph representation

Compiling CP subproblems to MDDs and d-DNNFs

Preface

Declarative local-search neighbourhoods in minizinc

Multi-objective short-term production scheduling for open-pit mines: a hierarchical decomposition-based algorithm

An iterative approach to precondition inference using constrained Horn clauses

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems

Optimal Sankey Diagrams via Integer Programming

Reference Abstract Domains and Applications to String Analysis

Computing the Margin of Victory in Preferential Parliamentary Elections

Data Instance generator and optimization models for evacuation planning in the event of wildfire

Sweep-based propagation for string constraint solving

Lagrangian constrained community detection

Breaking symmetries with lex implications

Solver independent rotating workforce scheduling

Sequential precede chain for value symmetry elimination

Solution-based phase saving for CP: A value-selection heuristic to simulate local search behavior in complete solvers

Ballot-Polling Risk Limiting Audits for IRV Elections

Image constrained blockmodelling: A constraint programming approach

Constraint programming for high school timetabling: A scheduling-based model with hot starts

Machine learning and constraint programming for relational-to-ontology schema mapping

Propagating lex, find and replace with dashed strings

Propagating Regular membership with dashed strings

Solver-independent large neighbourhood search

Using constraint programming for solving RCPSP/max-cal

Statistical inference of protein structural alignments using information and compression

Short-term scheduling of an open-pit mine with multiple objectives

Minimizing Landscape Resistance for Habitat Conservation