Peter J. Stuckey

According to our database1, Peter J. Stuckey authored at least 409 papers between 1986 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation.
J. Autom. Reasoning, 2019

Toward Computing the Margin of Victory in Single Transferable Vote Elections.
INFORMS Journal on Computing, 2019

Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems.
CoRR, 2019

Risk-Limiting Audits for IRV Elections.
CoRR, 2019

Compiling CP subproblems to MDDs and d-DNNFs.
Constraints, 2019

Constraints for symmetry breaking in graph representation.
Constraints, 2019

Election Manipulation with Partial Information.
Proceedings of the Electronic Voting - 4th International Joint Conference, 2019

Extended Abstract: Searching with Consistent Prioritization for Multi-Agent Path Finding.
Proceedings of the Twelfth International Symposium on Combinatorial Search, 2019

Optimal context-sensitive dynamic partial order reduction with observers.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Branch-and-Cut-and-Price for Multi-Agent Pathfinding.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Regarding Jump Point Search and Subgoal Graphs.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Predict+Optimise with Ranking Objectives: Exhaustively Learning Linear Functions.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Path Planning with CPD Heuristics.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Time Table Edge Finding with Energy Variables.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

An Investigation into Prediction + Optimisation for the Knapsack Problem.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Local Rapid Learning for Integer Programs.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Core-Boosted Linear Search for Incomplete MaxSAT.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Constraint Programming for Dynamic Symbolic Execution of JavaScript.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

Compiling Conditional Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Techniques Inspired by Local Search for Incomplete MaxSAT and the Linear Algorithm: Varying Resolution and Solution-Guided Search.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Exploring Declarative Local-Search Neighbourhoods with Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Peak-Hour Rail Demand Shifting with Discrete Optimisation.
Proceedings of the Principles and Practice of Constraint Programming, 2019

Optimal Bounds for Floating-Point Addition in Constant Time.
Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019

Dissecting Widening: Separating Termination from Information.
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019

Disjoint Splitting for Multi-Agent Path Finding with Conflict-Based Search.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Lazy CBS: Implicit Conflict-Based Search Using Lazy Clause Generation.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Cutting the Size of Compressed Path Databases with Wildcards and Redundant Symbols.
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

Symmetry-Breaking Constraints for Grid-Based Multi-Agent Path Finding.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

Searching with Consistent Prioritization for Multi-Agent Path Finding.
Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018
An iterative approach to precondition inference using constrained Horn clauses.
TPLP, 2018

Reference Abstract Domains and Applications to String Analysis.
Fundam. Inform., 2018

Mixed-integer linear programming and constraint programming formulations for solving resource availability cost problems.
European Journal of Operational Research, 2018

Solution Dominance over Constraint Satisfaction Problems.
CoRR, 2018

Precondition Inference via Partitioning of Initial States.
CoRR, 2018

Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018).
CoRR, 2018

Ballot-Polling Risk Limiting Audits for IRV Elections.
Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Computing the Margin of Victory in Preferential Parliamentary Elections.
Proceedings of the Electronic Voting - Third International Joint Conference, 2018

Forward Search in Contraction Hierarchies.
Proceedings of the Eleventh International Symposium on Combinatorial Search, 2018

Image Constrained Blockmodelling: A Constraint Programming Approach.
Proceedings of the 2018 SIAM International Conference on Data Mining, 2018

Data instance generator and optimization models for evacuation planning in the event of wildfire.
Proceedings of the GEOSAFE Workshop on Robust Solutions for Fire Fighting, 2018

Semi-supervised Blockmodelling with Pairwise Guidance.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Declarative Local-Search Neighbourhoods in MiniZinc.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Breaking Symmetries with Lex Implications.
Proceedings of the Functional and Logic Programming - 14th International Symposium, 2018

Solver Independent Rotating Workforce Scheduling.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Constraint Programming for High School Timetabling: A Scheduling-Based Model with Hot Starts.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Propagating lex, find and replace with Dashed Strings.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2018

Sequential Precede Chain for Value Symmetry Elimination.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Solution-Based Phase Saving for CP: A Value-Selection Heuristic to Simulate Local Search Behavior in Complete Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Solver-Independent Large Neighbourhood Search.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Propagating Regular Membership with Dashed Strings.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Optimal Sankey Diagrams Via Integer Programming.
Proceedings of the IEEE Pacific Visualization Symposium, 2018

Lagrangian Constrained Community Detection.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Sweep-Based Propagation for String Constraint Solving.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Towards Computing Victory Margins in STV Elections.
CoRR, 2017

Using constraint programming for solving RCPSP/max-cal.
Constraints, 2017

Statistical inference of protein structural alignments using information and compression.
Bioinformatics, 2017

Combining String Abstract Domains for JavaScript Analysis: An Evaluation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

A Benders Decomposition Approach to Deciding Modular Linear Integer Arithmetic.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes.
Proceedings of the 2017 Data Compression Conference, 2017

Minimizing Landscape Resistance for Habitat Conservation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

Range-Consistent Forbidden Regions of Allen's Relations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

A Declarative Approach to Constrained Community Detection.
Proceedings of the Principles and Practice of Constraint Programming, 2017

A Novel Approach to String Constraint Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Context-Sensitive Dynamic Partial Order Reduction.
Proceedings of the Computer Aided Verification - 29th International Conference, 2017

Fixing the State Budget: Approximation of Regular Languages with Small DFAs.
Proceedings of the Automated Technology for Verification and Analysis, 2017

Automatic Logic-Based Benders Decomposition with MiniZinc.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
A complete refinement procedure for regular separability of context-free languages.
Theor. Comput. Sci., 2016

A Decomposition-Based Algorithm for the Scheduling of Open-Pit Networks Over Multiple Time Periods.
Management Science, 2016

An Abstract Domain of Uninterpreted Functions.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

Lagrangian Constrained Clustering.
Proceedings of the 2016 SIAM International Conference on Data Mining, 2016

Exploiting Sparsity in Difference-Bound Matrices.
Proceedings of the Static Analysis - 23rd International Symposium, 2016

MiniZinc with Strings.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

Constraint Propagation and Explanation over Novel Types by Abstract Compilation.
Proceedings of the Technical Communications of the 32nd International Conference on Logic Programming, 2016

Efficient Computation of Exact IRV Margins.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

A Bit-Vector Solver with Word-Level Propagation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Weighted Spanning Tree Constraint with Explanations.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Rail Capacity Modelling with Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Parallelizing Constraint Programming with Learning.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

Lagrangian Decomposition via Sub-problem Search.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

On CNF Encodings of Decision Diagrams.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016

A Bounded Path Propagator on Directed Graphs.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Explaining Producer/Consumer Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Interval Constraints with Learning: Application to Air Traffic Control.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Breaking Symmetries in Graphs: The Nauty Way.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Improved Linearization of Constraint Programming Models.
Proceedings of the Principles and Practice of Constraint Programming, 2016

Discrete Optimization for Agents.
Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, 2016

Symmetry declarations for MiniZinc.
Proceedings of the Australasian Computer Science Week Multiconference, 2016

Steiner Tree Problems with Side Constraints Using Constraint Programming.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Horn clauses as an intermediate representation for program analysis and transformation.
TPLP, 2015

Two type extensions for the constraint modeling language MiniZinc.
Sci. Comput. Program., 2015

Lazy Model Expansion: Interleaving Grounding with Search.
J. Artif. Intell. Res., 2015

Automatic Minimal-Height Table Layout.
INFORMS Journal on Computing, 2015

Unsatisfiable Cores and Lower Bounding for Constraint Programming.
CoRR, 2015

Projected Model Counting.
CoRR, 2015

Dominance breaking constraints.
Constraints, 2015

#∃SAT: Projected Model Counting.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Generalized Modularity for Community Detection.
Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2015

A Tool for Intersecting Context-Free Grammars and Its Applications.
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Learning Value Heuristics for Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

Scheduling with Fixed Maintenance, Shared Resources and Nonlinear Feedrate Constraints: A Mine Planning Case Study.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

MiniSearch: A Solver-Independent Meta-Search Language for MiniZinc.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Modeling and Solving Project Scheduling with Calendars.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Encoding Linear Constraints with Implication Chains to CNF.
Proceedings of the Principles and Practice of Constraint Programming, 2015

Optimisation and Relaxation for Multiagent Planning in the Situation Calculus.
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

Sequencing Operator Counts.
Proceedings of the Twenty-Fifth International Conference on Automated Planning and Scheduling, 2015

Stable Model Counting and Its Application in Probabilistic Logic Programming.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss.
ACM Trans. Program. Lang. Syst., 2014

Synthesizing Optimal Switching Lattices.
ACM Trans. Design Autom. Electr. Syst., 2014

A Decomposition-Based Heuristic for Collaborative Scheduling in a Network of Open-Pit Mines.
INFORMS Journal on Computing, 2014

A Partial-Order Approach to Array Content Analysis.
CoRR, 2014

Grounding Bound Founded Answer Set Programs.
CoRR, 2014

Explaining circuit propagation.
Constraints, 2014

Symmetries, almost symmetries, and lazy clause generation.
Constraints, 2014

The future of optimization technology.
Constraints, 2014

The MiniZinc Challenge 2008-2013.
AI Magazine, 2014

Analyzing Array Manipulating Programs by Program Transformation.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

Seeing Around Corners: Fast Orthogonal Connector Routing.
Proceedings of the Diagrammatic Representation and Inference, 2014

Modelling with Option Types in MiniZinc.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Local Search for a Cargo Assembly Planning Problem.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Stochastic MiniZinc.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Loop Untangling.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Nested Constraint Programs.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Encoding Linear Constraints into SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2014

Planning for Mining Operations with Time and Resource Constraints.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

Fragment-Based Planning Using Column Generation.
Proceedings of the Twenty-Fourth International Conference on Automated Planning and Scheduling, 2014

2013
Failure tabled constraint logic programming by interpolation.
TPLP, 2013

Stable model semantics for founded bounds.
TPLP, 2013

A CLP heap solver for test case generation.
TPLP, 2013

Solving RCPSP/max by lazy clause generation.
J. Scheduling, 2013

Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems.
J. Artif. Intell. Res., 2013

Unsatisfiable Cores for Constraint Programming
CoRR, 2013

Structure Based Extended Resolution for Constraint Programming.
CoRR, 2013

Search combinators.
Constraints, 2013

Discovery and analysis of consistent active sub-networks in cancers.
BMC Bioinformatics, 2013

Unbounded Model-Checking with Interpolation for Regular Language Constraints.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

There Are No CNF Problems.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2013, 2013

Abstract Interpretation over Non-lattice Abstract Domains.
Proceedings of the Static Analysis - 20th International Symposium, 2013

Finite type extensions in constraint programming.
Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 2013

Breaking Symmetries in Graph Representation.
Proceedings of the IJCAI 2013, 2013

Statistical Inference of Protein "LEGO Bricks".
Proceedings of the 2013 IEEE 13th International Conference on Data Mining, 2013

MiniZinc with Functions.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2013

Those Who Cannot Remember the Past Are Condemned to Repeat It.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Scheduling Optional Tasks with Explanation.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Explaining Propagators for Edge-Valued Decision Diagrams.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Modelling Destructive Assignments.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Dominance Driven Search.
Proceedings of the Principles and Practice of Constraint Programming, 2013

To Encode or to Propagate? The Best Choice for Each Constraint in SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2013

Solving Difference Constraints over Modular Arithmetic.
Proceedings of the Automated Deduction - CADE-24, 2013

Automated Design of Search with Composability.
Proceedings of the Late-Breaking Developments in the Field of Artificial Intelligence, 2013

2012
Exploiting subproblem dominance in constraint programming.
Constraints, 2012

AI@NICTA.
AI Magazine, 2012

A complete solution to the Maximum Density Still Life Problem.
Artif. Intell., 2012

An Introduction to Search Combinators.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2012

Lazy Model Expansion by Incremental Grounding.
Proceedings of the Technical Communications of the 28th International Conference on Logic Programming, 2012

A General Implementation Framework for Tabled CLP.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Optimal guillotine layout.
Proceedings of the ACM Symposium on Document Engineering, 2012

Orthogonal Hyperedge Routing.
Proceedings of the Diagrammatic Representation and Inference, 2012

Maximising the Net Present Value for Resource-Constrained Project Scheduling.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Explaining Propagators for s-DNNF Circuits.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Explaining Flow-Based Propagation.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Maximising the Net Present Value of Large Resource-Constrained Projects.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Optimisation Modelling for Software Developers.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Inter-instance Nogood Learning in Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2012

A Generic Method for Identifying and Exploiting Dominance Relations.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Conflict Directed Lazy Decomposition.
Proceedings of the Principles and Practice of Constraint Programming, 2012

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code.
Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

Explaining alldifferent.
Proceedings of the Thirty-Fifth Australasian Computer Science Conference, 2012

2011
Solving Talent Scheduling with Dynamic Programming.
INFORMS Journal on Computing, 2011

Explaining the cumulative propagator.
Constraints, 2011

Dantzig-Wolfe decomposition and branch-and-price solving in G12.
Constraints, 2011

MDD propagators with explanation.
Constraints, 2011

CP and IP approaches to cancer radiotherapy delivery optimization.
Constraints, 2011

Automatic generation of protein structure cartoons with Pro-origami.
Bioinformatics, 2011

Piecewise linear approximation of protein structures using the principle of minimum message length.
Bioinformatics [ISMB/ECCB], 2011

Memoizing a Monadic Mixin DSL.
Proceedings of the Functional and Constraint Logic Programming, 2011

Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2011, 2011

Symmetries and Lazy Clause Generation.
Proceedings of the IJCAI 2011, 2011

Constraints in Non-Boolean Contexts.
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011

Optimal automatic table layout.
Proceedings of the 2011 ACM Symposium on Document Engineering, 2011

Optimal Carpet Cutting.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Boolean Equi-propagation for Optimized SAT Encoding.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

Half Reification and Flattening.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Lock-free parallel dynamic programming.
J. Parallel Distrib. Comput., 2010

Fast Set Bounds Propagation Using a BDD-SAT Hybrid.
J. Artif. Intell. Res., 2010

Incremental Satisfiability and Implication for UTVPI Constraints.
INFORMS Journal on Computing, 2010

Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation
CoRR, 2010

Philosophy of the MiniZinc challenge.
Constraints, 2010

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

Fast and accurate protein substructure searching with simulated annealing and GPUs.
BMC Bioinformatics, 2010

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

Optimal k-Level Planarization and Crossing Minimization.
Proceedings of the Graph Drawing - 18th International Symposium, GD 2010, Konstanz, 2010

Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Automatically Exploiting Subproblem Equivalence in Constraint Programming.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Rapid Learning for Binary Programs.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2010

Improved consensus clustering via linear programming.
Proceedings of the Computer Science 2010, 2010

2009
Erratum to "Efficient constraint propagation engines".
ACM Trans. Program. Lang. Syst., 2009

Cache Conscious Data Structures for Boolean Satisfiability Solvers.
JSAT, 2009

Monadic constraint programming.
J. Funct. Program., 2009

Propagation via lazy clause generation.
Constraints, 2009

Propagating systems of dense linear integer constraints.
Constraints, 2009

Tableau-based protein substructure search using quadratic programming.
BMC Bioinformatics, 2009

A declarative encoding of telecommunications feature subscription in SAT.
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009

Demand-Driven Normalisation for ACD Term Rewriting.
Proceedings of the Logic Programming, 25th International Conference, 2009

Orthogonal Connector Routing.
Proceedings of the Graph Drawing, 17th International Symposium, 2009

Branch-and-Price Solving in G12.
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009

Why Cumulative Decomposition Is Not as Bad as It Sounds.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Maintaining State in Propagation Solvers.
Proceedings of the Principles and Practice of Constraint Programming, 2009

The Proper Treatment of Undefinedness in Constraint Languages.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Lazy Clause Generation Reengineered.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Confidence-Based Work Stealing in Parallel Constraint Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Using Relaxations in Maximum Density Still Life.
Proceedings of the Principles and Practice of Constraint Programming, 2009

Minimizing the Maximum Number of Open Stacks by Customer Search.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
Exploration of Networks using overview+detail with Constraint-based cooperative layout.
IEEE Trans. Vis. Comput. Graph., 2008

Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages.
TPLP, 2008

Logic programming with satisfiability.
TPLP, 2008

Efficient constraint propagation engines.
ACM Trans. Program. Lang. Syst., 2008

Comparing usability of one-way and multi-way constraints for diagram editing.
ACM Trans. Comput.-Hum. Interact., 2008

Solving Partial Order Constraints for LPO Termination.
JSAT, 2008

HM(X) type inference is CLP(X) solving.
J. Funct. Program., 2008

New integer linear programming approaches for course timetabling.
Computers & OR, 2008

The Design of the Zinc Modelling Language.
Constraints, 2008

Structural search and retrieval using a tableau representation of protein folding patterns.
Bioinformatics, 2008

Dynamic variable elimination during propagation solving.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Global difference constraint propagation for finite domain solvers.
Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

Automating branch-and-bound for dynamic programs.
Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

Flexible, Rule-Based Constraint Model Linearisation.
Proceedings of the Practical Aspects of Declarative Languages, 2008

Dynamic Analysis of Bounds Versus Domain Propagation.
Proceedings of the Logic Programming, 24th International Conference, 2008

Cadmium: An Implementation of ACD Term Rewriting.
Proceedings of the Logic Programming, 24th International Conference, 2008

Telecommunications Feature Subscription as a Partial Order Constraint Problem.
Proceedings of the Logic Programming, 24th International Conference, 2008

Optimizing Compilation of CHR with Rule Priorities.
Proceedings of the Functional and Logic Programming, 9th International Symposium, 2008

Fast Set Bounds Propagation using BDDs.
Proceedings of the ECAI 2008, 2008

Smooth Linear Approximation of Non-overlap Constraints.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

From High-Level Model to Branch-and-Price Solution in G12.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Modelling for Lazy Clause Generation.
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

The Core Concept for 0/1 Integer Programming.
Proceedings of the Theory of Computing 2008. Proc. Fourteenth Computing: The Australasian Theory Symposium (CATS 2008), 2008

2007
Removing propagation redundant constraints in redundant modeling.
ACM Trans. Comput. Log., 2007

Understanding functional dependencies via constraint handling rules.
J. Funct. Program., 2007

Dynamic Programming to Minimize the Maximum Number of Open Stacks.
INFORMS Journal on Computing, 2007

The island confinement method for reducing search space in local search methods.
J. Heuristics, 2007

Constraint propagation for loose constraint graphs.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Propagating dense systems of integer linear equations.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Observable Confluence for Constraint Handling Rules.
Proceedings of the Logic Programming, 23rd International Conference, 2007

Practical Preference Relations for Large Data Sets.
Proceedings of the 23rd International Conference on Data Engineering Workshops, 2007

Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2007

Propagation = Lazy Clause Generation.
Proceedings of the Principles and Practice of Constraint Programming, 2007

MiniZinc: Towards a Standard CP Modelling Language.
Proceedings of the Principles and Practice of Constraint Programming, 2007

Encodings of the Sequence Constraint.
Proceedings of the Principles and Practice of Constraint Programming, 2007

2006
Constraint Logic Programming.
Proceedings of the Handbook of Constraint Programming, 2006

Improving PARMA trailing.
TPLP, 2006

Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds.
Journal of Computational Biology, 2006

Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci., 2006

Islands for SAT
CoRR, 2006

A Stochastic Non-CNF SAT Solver.
Proceedings of the PRICAI 2006: Trends in Artificial Intelligence, 2006

A Hybrid BDD and SAT Finite Domain Constraint Solver.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Adding Constraint Solving to Mercury.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware.
Proceedings of the 4th international workshop on Middleware for grid computing, 2006

ACD Term Rewriting.
Proceedings of the Logic Programming, 22nd International Conference, 2006

Fast Node Overlap Removal - Correction.
Proceedings of the Graph Drawing, 14th International Symposium, GD 2006, Karlsruhe, 2006

A Framework for Extended Algebraic Data Types.
Proceedings of the Functional and Logic Programming, 8th International Symposium, 2006

Size-Change Termination Analysis in k-Bits.
Proceedings of the Programming Languages and Systems, 2006

Finite Domain Bounds Consistency Revisited.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

Principal Type Inference for GHC-Style Multi-parameter Type Classes.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

Type Processing by Constraint Reasoning.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Optimizing compilation of constraint handling rules in HAL.
TPLP, 2005

Checking modes of HAL programs.
TPLP, 2005

A theory of overloading.
ACM Trans. Program. Lang. Syst., 2005

When do bounds and domain propagation lead to the same search space?
ACM Trans. Program. Lang. Syst., 2005

Solving Set Constraint Satisfaction Problems using ROBDDs.
J. Artif. Intell. Res., 2005

Type Inference for Guarded Recursive Data Types
CoRR, 2005

Improved Inference for Checking Annotations
CoRR, 2005

Abstract interpretation for constraint handling rules.
Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2005

Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.
Proceedings of the Practical Aspects of Declarative Languages, 7th International Symposium, 2005

The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
Proceedings of the Logic Programming, 21st International Conference, 2005

Testing for Termination with Monotonicity Constraints.
Proceedings of the Logic Programming, 21st International Conference, 2005

Incremental Connector Routing.
Proceedings of the Graph Drawing, 13th International Symposium, 2005

Fast Node Overlap Removal.
Proceedings of the Graph Drawing, 13th International Symposium, 2005

2004
NP-Completeness of Minimal Width Unordered Tree Layout.
J. Graph Algorithms Appl., 2004

Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs.
J. Bioinformatics and Computational Biology, 2004

Just enough tabling.
Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2004

A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Herbrand Constraints in HAL.
Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

The Refined Operational Semantics of Constraint Handling Rules.
Proceedings of the Logic Programming, 20th International Conference, 2004

Compiling Ask Constraints.
Proceedings of the Logic Programming, 20th International Conference, 2004

Improving type error diagnosis.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2004

Sound and Decidable Type Inference for Functional Dependencies.
Proceedings of the Programming Languages and Systems, 2004

Speeding Up Constraint Propagation.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Set Domain Propagation Using ROBDDs.
Proceedings of the Principles and Practice of Constraint Programming, 2004

Set Bounds and (Split) Set Domain Propagation Using ROBDDs.
Proceedings of the AI 2004: Advances in Artificial Intelligence, 2004

Towards Flexible Graphical Communication Using Adaptive Diagrams.
Proceedings of the Advances in Computer Science, 2004

2003
Flexible access control policy specification with constraint logic programming.
ACM Trans. Inf. Syst. Secur., 2003

The Chameleon Type Debugger (Tool Demonstration)
CoRR, 2003

Removing Node Overlapping in Graph Layout Using Constrained Optimization.
Constraints, 2003

Improving Linear Constraint Propagation by Changing Constraint Representation.
Constraints, 2003

Extending arbitrary solvers with constraint handling rules.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Finding all minimal unsatisfiable subsets.
Proceedings of the 5th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2003

Propagation Redundancy for Permutation Channels.
Proceedings of the IJCAI-03, 2003

Efficient Representation of Adhoc Constraints.
Proceedings of the IJCAI-03, 2003

Improving Nogood Recording Using 2SAT.
Proceedings of the 15th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2003), 2003

Termination Analysis with Types Is More Accurate.
Proceedings of the Logic Programming, 19th International Conference, 2003

Interactive type debugging in Haskell.
Proceedings of the ACM SIGPLAN Workshop on Haskell, 2003

Propagation Redundancy in Redundant Modelling.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Box Constraint Collections for Adhoc Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Resource Usage Verification.
Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002
Flexible Graph Layout for the Web.
J. Vis. Lang. Comput., 2002

Efficient Intelligent Backtracking Using Linear Programming.
INFORMS Journal on Computing, 2002

Fourier Elimination for Compiling Constraint Hierarchies.
Constraints, 2002

Using the heap to eliminate stack accesses.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Constraint-based mode analysis of mercury.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

Precise pair-sharing analysis of logic programs.
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002

A Hybrid Algorithm for the Examination Timetabling Problem.
Proceedings of the Practice and Theory of Automated Timetabling IV, 2002

Exception analysis for non-strict languages.
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

To the Gates of HAL: A HAL Tutorial.
Proceedings of the Functional and Logic Programming, 6th International Symposium, 2002

Improving GSAT Using 2SAT.
Proceedings of the Principles and Practice of Constraint Programming, 2002

Compacting Discriminator Information for Spatial Trees.
Proceedings of the Database Technologies 2002, 2002

Improving SAT Using 2SAT.
Proceedings of the Computer Science 2002, 2002

Reducing Search Space in Local Search for Constraint Satisfaction.
Proceedings of the Eighteenth National Conference on Artificial Intelligence and Fourteenth Conference on Innovative Applications of Artificial Intelligence, July 28, 2002

2001
The Cassowary linear arithmetic constraint solving algorithm.
ACM Trans. Comput.-Hum. Interact., 2001

Cost-based Unbalanced R-Trees.
Proceedings of the 13th International Conference on Scientific and Statistical Database Management, 2001

Effective Strictness Analysis with HORN Constraints.
Proceedings of the Static Analysis, 8th International Symposium, 2001

Boolean Constraints for Binding-Time Analysis.
Proceedings of the Programs as Data Objects, Second Symposium, 2001

Optimizing Compilation of Constraint Handling Rules.
Proceedings of the Logic Programming, 17th International Conference, 2001

Higher-Precision Groundness Analysis.
Proceedings of the Logic Programming, 17th International Conference, 2001

Building Constraint Solvers with HAL.
Proceedings of the Logic Programming, 17th International Conference, 2001

A Framework for Analysis of Typed Logic Programs.
Proceedings of the Functional and Logic Programming, 5th International Symposium, 2001

Solving Disjunctive Constraints for Interactive Graphical Applications.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Incremental analysis of constraint logic programs.
ACM Trans. Program. Lang. Syst., 2000

Type Classes and Constraint Handling Rules
CoRR, 2000

A Lagrangian reconstruction of GENET.
Artif. Intell., 2000

A Model for Inter-module Analysis and Optimizing Compilation.
Proceedings of the Logic Based Program Synthesis and Transformation, 2000

Improving Temporal Joins Using Histograms.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

Model Checking in HAL.
Proceedings of the Computational Logic, 2000

O-Trees: A Constraint-Based Index Structure.
Proceedings of the Australasian Database Conference, 2000

1999
Sharing and groundness dependencies in logic programs.
ACM Trans. Program. Lang. Syst., 1999

Book reviews.
Intelligence, 1999

Improving Evolutionary Algorithms for Efficient Constraint Satisfaction.
International Journal on Artificial Intelligence Tools, 1999

Constraint Cascading Style Sheets for the Web.
Proceedings of the 12th Annual ACM Symposium on User Interface Software and Technology, 1999

Herbrand Constraint Solving in HAL.
Proceedings of the Logic Programming: The 1999 International Conference, Las Cruces, New Mexico, USA, November 29, 1999

An Overview of HAL.
Proceedings of the Principles and Practice of Constraint Programming, 1999

1998
Extending GENET with lazy arc consistency.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 1998

Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst., 1998

Foundations of Aggregation Constraints.
Theor. Comput. Sci., 1998

A Practical Object-Oriented Analysis Engine for CLP.
Softw., Pract. Exper., 1998

The Semantics of Constraint Logic Programs.
J. Log. Program., 1998

Differential Methods in Logic Program Analysis.
J. Log. Program., 1998

Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming.
Journal of Functional and Logic Programming, 1998

A Lagrangian reconstruction of a class of local search methods.
Proceedings of the Tenth IEEE International Conference on Tools with Artificial Intelligence, 1998

Constraint Representation for Propagation.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs.
Journal of Systems Integration, 1997

Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models.
J. Log. Program., 1997

Meta-Programming in CLP(R).
J. Log. Program., 1997

Introduction to the Special Issue on Constraints and Databases.
Constraints, 1997

Solving Linear Arithmetic Constraints for User Interface Applications.
Proceedings of the 10th Annual ACM Symposium on User Interface Software and Technology, 1997

Extending EGENET with Lazy Constraint Consistency.
Proceedings of the 9th International Conference on Tools with Artificial Intelligence, 1997

Constraint Search Tree.
Proceedings of the Logic Programming, 1997

Optimization of Logic Programs with Dynamic Scheduling.
Proceedings of the Logic Programming, 1997

Compiling Constraint Solving using Projection.
Proceedings of the Principles and Practice of Constraint Programming - CP97, Third International Conference, Linz, Austria, October 29, 1997

1996
Optimizing Bottom-Up Evaluation of Constraint Queries.
J. Log. Program., 1996

Cost-Based Optimization for Magic: Algebra and Implementation.
Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.
Proceedings of the Static Analysis, Third International Symposium, 1996

Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.
Proceedings of the Programming Languages: Implementations, 1996

Effectiveness of Optimizing Compilation for CLP(R).
Proceedings of the Logic Programming, 1996

Using Stochastic Methods to Guide Search in CLP: A Preliminary Report.
Proceedings of the Concurrency and Parallelism, 1996

Low-contact learning in a first year programming course.
Proceedings of the ACM SIGCSE 1st Australasian Conference on Computer Science Education, 1996

1995
Negation and Constraint Logic Programming
Inf. Comput., April, 1995

Bottom-Up Evaluation and Query Optimization of Well-Founded Models.
Theor. Comput. Sci., 1995

On Inductive Inference of Cyclic Structures.
Ann. Math. Artif. Intell., 1995

Efficient Analysis of Logic Programs with Dynamic Scheduling.
Proceedings of the Logic Programming, 1995

Incremental Analysis of Logic Programs.
Proceedings of the Logic Programming, 1995

Linear Equation Solving for Constraint Logic Programming.
Proceedings of the Logic Programming, 1995

ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS.
Proceedings of the Deductive and Object-Oriented Databases, 1995

An Optimizing Compiler for CLP(R).
Proceedings of the Principles and Practice of Constraint Programming, 1995

1994
The Aditi Deductive Database System
VLDB J., 1994

Approximating Interaction between Linear Arithmetic Constraints.
Proceedings of the Logic Programming, 1994

Beyond Finite Domains.
Proceedings of the Principles and Practice of Constraint Programming, 1994

Compiling Query Constraints.
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994

1993
Projecting CLP (R) Constraints.
New Generation Comput., 1993

Semantics of Constraint Logic Programs with Optimization.
LOPLAS, 1993

Redundancy of Variables in CLP (R).
Proceedings of the Logic Programming, 1993

The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.
Proceedings of the Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1993

Status of the Aditi Deductive Database System.
Proceedings of the Logic Programming, 1993

Analysis Based Constraint Query Optimization.
Proceedings of the Logic Programming, 1993

Well-Founded Ordered Search (Extended Abstract).
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1993

The Aditi Deductive Datebase System.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993

1992
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst., 1992

Transforming Normal Logic Programs to Constraint Logic Programs.
Theor. Comput. Sci., 1992

CLP(R) and Some Electrical Engineering Problems.
J. Autom. Reasoning, 1992

An Abstract Machine for CLP(R).
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

Query Restricted Bottom-Up Evaluation of Normal Logic Programs.
Proceedings of the Logic Programming, 1992

Output in CLP.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Incremental Linear Constraint Solving and Detection of Implicit Equalities.
INFORMS Journal on Computing, 1991

An Introduction to Aditi Deductive Database System.
Australian Computer Journal, 1991

Magic Sets and Bottom-Up Evaluation of Well-Founded Models.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Semantics of Logic Programs with Aggregates.
Proceedings of the Logic Programming, Proceedings of the 1991 International Symposium, San Diego, California, USA, Oct. 28, 1991

Constructive Negation for Constraint Logic Programming
Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Design Overview of the Aditi Deductive Database System.
Proceedings of the Seventh International Conference on Data Engineering, 1991

The CLP(R) language and system: an overview.
Proceedings of the Compcon Spring '91, San Francisco, 1991

1990
Meta Programming as Constraint Programming.
Proceedings of the Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29, 1990

A Constraint Logic Programming Shell.
Proceedings of the Programming Language Implementation and Logic Programming, 1990

Eliminating Negation from Normal Logic Programs.
Proceedings of the Algebraic and Logic Programming, 1990

1989
Interface Logic Programming.
Australian Computer Journal, 1989

Expanding Query Power in Constraint Logic Programming Languages.
Proceedings of the Logic Programming, 1989

On Meta-Programming in CLR(R).
Proceedings of the Logic Programming, 1989

1986
Semantics of Infinite Tree Logic Programming.
Theor. Comput. Sci., 1986

Canonical Logic Programs.
J. Log. Program., 1986

Logic Program Semantics for Programming with Equations.
Proceedings of the Third International Conference on Logic Programming, 1986


  Loading...