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..

Constraints for symmetry breaking in graph representation

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

Journal article  |  2019  |  Constraints

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)

Dissecting widening: Separating termination from information

G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey

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

Widening ensures or accelerates convergence of a program analysis, and sometimes contributes a guarantee of soundness that would o..

Preface

Editorship  |  2019  |  Lecture Notes in Artificial Intelligence

Compiling CP subproblems to MDDs and d-DNNFs

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

Journal article  |  2019  |  Constraints

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

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

Copyright © by the paper's authors. Copying permitted for private and academic purposes. One critical part of decision support dur..

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)

Sweep-based propagation for string constraint solving

R Amadini, G Gange, PJ Stuckey

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

Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Solving constrai..

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)

© 2018, Springer Nature Switzerland AG. We show how to use automated computation of election margins to assess the number of votes..

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)

© 2018, Springer International Publishing AG, part of Springer Nature. Breaking symmetries is crucial when solving hard combinator..

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)

© Springer Nature Switzerland AG 2018. The main global constraint used for removing value symmetries is the VALUE-PRECEDE-CHAIN co..

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)

© Springer International Publishing AG, part of Springer Nature 2018. The rotating workforce scheduling problem aims to schedule w..

Lagrangian constrained community detection

M Ganj, J Bailey, PJ Stuckey

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

Copyright © 2018, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Semi-supervised ..

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)

© 2018, Springer Nature Switzerland AG. Risk-limiting post election audits guarantee a high probability of correcting incorrect el..

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)

© Springer Nature Switzerland AG 2018. Large neighbourhood search, a meta-heuristic, has proven to be successful on a wide range o..

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

© 2018 International Joint Conferences on Artificial Intelligence. All right reserved. The problem of integrating heterogeneous da..

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

© 2018 by SIAM. Blockmodelling is an important technique for detecting un-derlying patterns in graphs. However, existing blockmod-..

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)

© Springer International Publishing AG, part of Springer Nature 2018. High School Timetabling (HSTT) is a well-known and wide-spre..

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..

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)

© Springer Nature Switzerland AG 2018. The combination of large neighbourhood search (LNS) methods with complete search methods ha..

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..

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)

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)

© Springer International Publishing AG 2017. Strings are pervasive in programming, and arguably even more pervasive in web program..

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)

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)

© Springer International Publishing AG 2017. String processing is ubiquitous across computer science, and arguably more so in web ..

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 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)

© Springer International Publishing AG 2017. Verification tasks frequently require deciding systems of linear constraints over mod..

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)

Automatic logic-based benders decomposition with minizinc

TO Davies, G Gange, PJ Stuckey

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

Copyright © 2017, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved. Logic-based Bend..

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)

© Springer International Publishing AG 2017. Community detection in the presence of prior information or preferences on solution p..

Constraint propagation and explanation over novel types by abstract compilation

G Gange, PJ Stuckey

Conference Proceedings  |  2016  |  OpenAccess Series in Informatics

© Graeme Gange and Peter J. Stuckey. The appeal of constraint programming (CP) lies in compositionality - the ability to mix and m..

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)

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)

© Springer International Publishing Switzerland 2016.Resource-constrained project scheduling problems are one of the most studied ..

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

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)

© Springer International Publishing Switzerland 2016.Lazy Clause Generation (LCG) is a learning extension of Constraint Programmin..

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

Copyright 2016 AAAI, all rights reserved.). Operator-counting is a recently developed framework for analysing and integrating many..

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)

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)

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)

© Springer International Publishing Switzerland 2016.Path finding is an ubiquitous problem in optimization and graphs in general, ..

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)

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)

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)

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)

© Springer International Publishing Switzerland 2016.Constraint Programming (CP) standardizes many specialized “global constraints..

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)

© Springer International Publishing Switzerland 2016.Symmetry breaking is an essential component when solving graph search problem..

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)

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

Lagrangian constrained clustering

M Ganji, J Bailey, PJ Stuckey

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

Copyright © by SIAM. Incorporating background knowledge in clustering problems has attracted wide interest. This knowledge can be ..

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

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)

Approximate Uni-directional Benders Decomposition

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

Conference Proceedings  |  2015  |  AAAI Workshop - Technical Report

Scheduling Tools for Open-Pit Mining Operations

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

Presentation  |  2015

System Demonstrations and Exhibits

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)

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

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

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

© Springer International Publishing Switzerland 2015. An important variant of the resource-constrained project scheduling problem ..

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)

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)

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)

A Satisfiability Solving Approach

A SCHUTT, T Feydy, P Stuckey, MG Wallace

Book Chapter  |  2015

#∃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)

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)

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..

Sequencing Operator Counts

TO Davies, AR Pearce, P STUCKEY, N Lipovetzky

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

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

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

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

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)

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

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

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)

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)

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..

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

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

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

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

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

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

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

Explaining propagators for edge-valued decision diagrams

G Gange, PJ Stuckey, P Van Hentenryck

Conference Proceedings  |  2013  |  Principles and Practice of Constraint 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

Abstract Interpretation over Non-Lattice Abstract Domains

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

Conference Proceedings  |  2013  |  Static Analysis

Inductive Definitions in Constraint Programming

RA AZIZ, PJ Stuckey, Z Somogyi

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

There Are No CNF Problems

PJ Stuckey

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

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

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

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

Maximising the net present value of large resource-constrained projects

H Gu, PJ Stuckey, MG Wallace

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science

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

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

Solving Talent Scheduling with Dynamic Programming

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

Journal article  |  2011  |  INFORMS Journal on Computing

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

Half reification and flattening

T Feydy, Z Somogyi, PJ Stuckey

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

Search combinators

T Schrijvers, G Tack, P Wuille, H Samulowitz, 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

Optimal Automatic Table Layout

Graeme Gange, Kim Marriott, Peter Moulder, Peter Stuckey

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

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

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

Journal article  |  2011  |  Constraints

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

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

Rapid Learning for Binary Programs

Timo Berthold, Thibaut Feydy, 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 Conference2010

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

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

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

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

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

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

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

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)

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

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

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

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

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

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

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

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

Constraint Propagation for Loose Constraint Graphs

Kathryn Francis, Peter J Stuckey

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

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

Propagating Dense Systems of Integer Linear Equations

Thibaut Feydy, Peter J Stuckey

Conference Proceedings  |  2007  |  Proceedings of the 2007 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)

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

Finite domain bounds consistency revisited

CW Choi, W Harvey, JHM Lee, PJ Stuckey

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

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

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

Chapter 12 Constraint logic programming

K Marriott, M Wallace, PJ Stuckey

Journal article  |  2006  |  Foundations of Artificial Intelligence

Fast node overlap removal

T Dwyer, K Marriott, PJ Stuckey

Conference Proceedings  |  2006  |  Graph Drawing

Hybrid BDD and SAT finite domain constraint solver

P Hawkins, PJ Stuckey

Conference Proceedings  |  2006  |  Practical Aspects of Declarative Languages

ACD Term Rewriting

Gregory J Duck, Peter J Stuckey, Sebastian Brand

Conference Proceedings  |  2006  |  Logic Programming

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)

Constraint Logic Programming

Kim Marriott, Peter J Stuckey, Mark Wallace

Book Chapter  |  2006

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

Martin Sulzmann, Tom Schrijvers, Peter J Stuckey

Conference Proceedings  |  2006  |  Programming Languages and Systems

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

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

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)

Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

J Bailey, PJ Stuckey

Conference Proceedings  |  2005  |  Practical Aspects of Declarative Languages

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..

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

Compiling ask constraints

GJ Duck, MG de la Banda, PJ Stuckey

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

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

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

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

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

NP-completeness of minimal width unordered tree layout

K Marriott, PJ Stuckey

Journal article  |  2004  |  Journal of Graph Algorithms and Applications