 | 2009 |
|---|
| 222 |       | Geoffrey Chu,
Christian Schulte,
Peter J. Stuckey:
Confidence-Based Work Stealing in Parallel Constraint Programming.
CP 2009: 226-241 |
| 221 | | Geoffrey Chu,
Peter J. Stuckey:
Minimizing the Maximum Number of Open Stacks by Customer Search.
CP 2009: 242-257 |
| 220 | | Geoffrey Chu,
Peter J. Stuckey,
Maria Garcia de la Banda:
Using Relaxations in Maximum Density Still Life.
CP 2009: 258-273 |
| 219 | | Thibaut Feydy,
Peter J. Stuckey:
Lazy Clause Generation Reengineered.
CP 2009: 352-366 |
| 218 | | Alan M. Frisch,
Peter J. Stuckey:
The Proper Treatment of Undefinedness in Constraint Languages.
CP 2009: 367-382 |
| 217 | | Raphael M. Reischuk,
Christian Schulte,
Peter J. Stuckey,
Guido Tack:
Maintaining State in Propagation Solvers.
CP 2009: 692-706 |
| 216 | | Andreas Schutt,
Thibaut Feydy,
Peter J. Stuckey,
Mark Wallace:
Why Cumulative Decomposition Is Not as Bad as It Sounds.
CP 2009: 746-761 |
| 215 | | Leslie De Koninck,
Gregory J. Duck,
Peter J. Stuckey:
Demand-Driven Normalisation for ACD Term Rewriting.
ICLP 2009: 484-488 |
| 214 | | Michael Codish,
Samir Genaim,
Peter J. Stuckey:
A declarative encoding of telecommunications feature subscription in SAT.
PPDP 2009: 255-266 |
| 213 | | Christian Schulte,
Peter J. Stuckey:
Erratum to "Efficient constraint propagation engines".
ACM Trans. Program. Lang. Syst. 31(2): (2009) |
| 212 | | Alex Stivala,
Anthony Wirth,
Peter J. Stuckey:
Tableau-based protein substructure search using quadratic programming.
BMC Bioinformatics 10: (2009) |
| 211 | | Thibaut Feydy,
Peter J. Stuckey:
Propagating systems of dense linear integer constraints.
Constraints 14(2): 235-253 (2009) |
| 210 | | Olga Ohrimenko,
Peter J. Stuckey,
Michael Codish:
Propagation via lazy clause generation.
Constraints 14(3): 357-391 (2009) |
| 2008 |
|---|
| 209 |  | Peter J. Stuckey:
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
Springer 2008 |
| 208 | | Olga Ohrimenko,
Peter J. Stuckey:
Modelling for Lazy Clause Generation.
CATS 2008: 27-37 |
| 207 | | Samuel Huston,
Jakob Puchinger,
Peter J. Stuckey:
The Core Concept for 0/1 Integer Programming.
CATS 2008: 39-47 |
| 206 | | Jakob Puchinger,
Peter J. Stuckey,
Mark Wallace,
Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12.
CPAIOR 2008: 218-232 |
| 205 | | Graeme Gange,
Kim Marriott,
Peter J. Stuckey:
Smooth Linear Approximation of Non-overlap Constraints.
Diagrams 2008: 45-59 |
| 204 | | Graeme Gange,
Vitaly Lagoon,
Peter J. Stuckey:
Fast Set Bounds Propagation using BDDs.
ECAI 2008: 505-509 |
| 203 | | Leslie De Koninck,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing Compilation of CHR with Rule Priorities.
FLOPS 2008: 32-47 |
| 202 | | Christian Schulte,
Peter J. Stuckey:
Dynamic Analysis of Bounds Versus Domain Propagation.
ICLP 2008: 332-346 |
| 201 | | Gregory J. Duck,
Leslie De Koninck,
Peter J. Stuckey:
Cadmium: An Implementation of ACD Term Rewriting.
ICLP 2008: 531-545 |
| 200 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Telecommunications Feature Subscription as a Partial Order Constraint Problem.
ICLP 2008: 749-753 |
| 199 | | Sebastian Brand,
Gregory J. Duck,
Jakob Puchinger,
Peter J. Stuckey:
Flexible, Rule-Based Constraint Model Linearisation.
PADL 2008: 68-83 |
| 198 | | Jakob Puchinger,
Peter J. Stuckey:
Automating branch-and-bound for dynamic programs.
PEPM 2008: 81-89 |
| 197 | | Thibaut Feydy,
Andreas Schutt,
Peter J. Stuckey:
Global difference constraint propagation for finite domain solvers.
PPDP 2008: 226-235 |
| 196 | | Christian Schulte,
Peter J. Stuckey:
Dynamic variable elimination during propagation solving.
PPDP 2008: 247-257 |
| 195 | | Michael Wybrow,
Kim Marriott,
Linda Mciver,
Peter J. Stuckey:
Comparing usability of one-way and multi-way constraints for diagram editing.
ACM Trans. Comput.-Hum. Interact. 14(4): (2008) |
| 194 | | Christian Schulte,
Peter J. Stuckey:
Efficient constraint propagation engines.
ACM Trans. Program. Lang. Syst. 31(1): (2008) |
| 193 | | Arun Siddharth Konagurthu,
Peter J. Stuckey,
Arthur M. Lesk:
Structural search and retrieval using a tableau representation of protein folding patterns.
Bioinformatics 24(5): 645-651 (2008) |
| 192 | | Natashia Boland,
Barry D. Hughes,
Liam T. G. Merlot,
Peter J. Stuckey:
New integer linear programming approaches for course timetabling.
Computers & OR 35(7): 2209-2233 (2008) |
| 191 | | Kim Marriott,
Nicholas Nethercote,
Reza Rafeh,
Peter J. Stuckey,
Maria Garcia de la Banda,
Mark Wallace:
The Design of the Zinc Modelling Language.
Constraints 13(3): 229-267 (2008) |
| 190 | | Tim Dwyer,
Kim Marriott,
Falk Schreiber,
Peter J. Stuckey,
Michael Woodward,
Michael Wybrow:
Exploration of Networks using overview+detail with Constraint-based cooperative layout.
IEEE Trans. Vis. Comput. Graph. 14(6): 1293-1300 (2008) |
| 189 | | Martin Sulzmann,
Peter J. Stuckey:
HM(X) type inference is CLP(X) solving.
J. Funct. Program. 18(2): 251-283 (2008) |
| 188 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Logic programming with satisfiability.
TPLP 8(1): 121-128 (2008) |
| 187 | | Peter J. Stuckey:
Constraint Logic Programming using ECLiPSe Krzysztof Apt and Mark Wallace, Cambridge University Press, 2007 Hardback, ISBN 9780521866286, 348 pages.
TPLP 8(2): 242-246 (2008) |
| 2007 |
|---|
| 186 | | Sebastian Brand,
Nina Narodytska,
Claude-Guy Quimper,
Peter J. Stuckey,
Toby Walsh:
Encodings of the Sequence Constraint.
CP 2007: 210-224 |
| 185 | | Nicholas Nethercote,
Peter J. Stuckey,
Ralph Becket,
Sebastian Brand,
Gregory J. Duck,
Guido Tack:
MiniZinc: Towards a Standard CP Modelling Language.
CP 2007: 529-543 |
| 184 | | Olga Ohrimenko,
Peter J. Stuckey,
Michael Codish:
Propagation = Lazy Clause Generation.
CP 2007: 544-558 |
| 183 | | Davaatseren Baatar,
Natashia Boland,
Sebastian Brand,
Peter J. Stuckey:
Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches.
CPAIOR 2007: 1-15 |
| 182 | | Kenneth A. Ross,
Peter J. Stuckey,
Amélie Marian:
Practical Preference Relations for Large Data Sets.
ICDE Workshops 2007: 229-236 |
| 181 | | Gregory J. Duck,
Peter J. Stuckey,
Martin Sulzmann:
Observable Confluence for Constraint Handling Rules.
ICLP 2007: 224-239 |
| 180 | | Thibaut Feydy,
Peter J. Stuckey:
Propagating dense systems of integer linear equations.
SAC 2007: 306-310 |
| 179 | | Kathryn Francis,
Peter J. Stuckey:
Constraint propagation for loose constraint graphs.
SAC 2007: 334-335 |
| 178 | | Chiu Wo Choi,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Removing propagation redundant constraints in redundant modeling.
ACM Trans. Comput. Log. 8(4): (2007) |
| 177 | | Andreas Schutt,
Peter J. Stuckey:
Incremental Satisfiability and Implication for UTVPI Constraints
CoRR abs/0709.2961: (2007) |
| 176 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Logic Programming with Satisfiability
CoRR abs/cs/0702072: (2007) |
| 175 | | Maria Garcia de la Banda,
Peter J. Stuckey:
Dynamic Programming to Minimize the Maximum Number of Open Stacks.
INFORMS Journal on Computing 19(4): 607-617 (2007) |
| 174 | | Martin Sulzmann,
Gregory J. Duck,
Simon L. Peyton Jones,
Peter J. Stuckey:
Understanding functional dependencies via constraint handling rules.
J. Funct. Program. 17(1): 83-129 (2007) |
| 173 | | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
The island confinement method for reducing search space in local search methods.
J. Heuristics 13(6): 557-585 (2007) |
| 2006 |
|---|
| 172 | | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
Type Processing by Constraint Reasoning.
APLAS 2006: 1-25 |
| 171 | | Martin Sulzmann,
Tom Schrijvers,
Peter J. Stuckey:
Principal Type Inference for GHC-Style Multi-parameter Type Classes.
APLAS 2006: 26-43 |
| 170 | | Chiu Wo Choi,
Warwick Harvey,
J. H. M. Lee,
Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited.
Australian Conference on Artificial Intelligence 2006: 49-58 |
| 169 | | Michael Codish,
Vitaly Lagoon,
Peter Schachte,
Peter J. Stuckey:
Size-Change Termination Analysis in k-Bits.
ESOP 2006: 230-245 |
| 168 | | Martin Sulzmann,
Jeremy Wazny,
Peter J. Stuckey:
A Framework for Extended Algebraic Data Types.
FLOPS 2006: 47-64 |
| 167 | | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal - Correction.
Graph Drawing 2006: 446-447 |
| 166 | | Gregory J. Duck,
Peter J. Stuckey,
Sebastian Brand:
ACD Term Rewriting.
ICLP 2006: 117-131 |
| 165 | | Peter Hawkins,
Peter J. Stuckey:
A Hybrid BDD and SAT Finite Domain Constraint Solver.
PADL 2006: 103-117 |
| 164 | | Ralph Becket,
Maria J. García de la Banda,
Kim Marriott,
Zoltan Somogyi,
Peter J. Stuckey,
Mark Wallace:
Adding Constraint Solving to Mercury.
PADL 2006: 118-133 |
| 163 | | Rafiq Muhammad,
Peter J. Stuckey:
A Stochastic Non-CNF SAT Solver.
PRICAI 2006: 120-129 |
| 162 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination.
RTA 2006: 4-18 |
| 161 | | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Islands for SAT
CoRR abs/cs/0607071: (2006) |
| 160 | | Gregory J. Duck,
Peter J. Stuckey,
Sebastian Brand:
ACD Term Rewriting
CoRR abs/cs/0608016: (2006) |
| 159 | | Christian Schulte,
Peter J. Stuckey:
Efficient constraint propagation engines
CoRR abs/cs/0611009: (2006) |
| 158 | | Tom Schrijvers,
Bart Demoen,
Gregory J. Duck,
Peter J. Stuckey,
Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006) |
| 157 | | Arun Siddharth Konagurthu,
Peter J. Stuckey:
Optimal Sum-of-Pairs Multiple Sequence Alignment Using Incremental Carrillo and Lipman Bounds.
Journal of Computational Biology 13(3): 668-685 (2006) |
| 156 | | Tom Schrijvers,
Bart Demoen,
Maria J. García de la Banda,
Peter J. Stuckey:
Improving PARMA trailing.
TPLP 6(6): 609-644 (2006) |
| 2005 |
|---|
| 155 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
CP 2005: 13-16 |
| 154 | | Tim Dwyer,
Kim Marriott,
Peter J. Stuckey:
Fast Node Overlap Removal.
Graph Drawing 2005: 153-164 |
| 153 | | Michael Wybrow,
Kim Marriott,
Peter J. Stuckey:
Incremental Connector Routing.
Graph Drawing 2005: 446-457 |
| 152 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Testing for Termination with Monotonicity Constraints.
ICLP 2005: 326-340 |
| 151 | | Peter J. Stuckey,
Maria J. García de la Banda,
Michael J. Maher,
Kim Marriott,
John K. Slaney,
Zoltan Somogyi,
Mark Wallace,
Toby Walsh:
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
ICLP 2005: 9-13 |
| 150 | | James Bailey,
Peter J. Stuckey:
Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization.
PADL 2005: 174-186 |
| 149 | | Tom Schrijvers,
Peter J. Stuckey,
Gregory J. Duck:
Abstract interpretation for constraint handling rules.
PPDP 2005: 218-229 |
| 148 | | Christian Schulte,
Peter J. Stuckey:
When do bounds and domain propagation lead to the same search space?
ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005) |
| 147 | | Peter J. Stuckey,
Martin Sulzmann:
A theory of overloading.
ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005) |
| 146 | | Tom Schrijvers,
Maria J. García de la Banda,
Bart Demoen,
Peter J. Stuckey:
Improving PARMA Trailing
CoRR abs/cs/0505085: (2005) |
| 145 | | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
Improved Inference for Checking Annotations
CoRR abs/cs/0507036: (2005) |
| 144 | | Peter J. Stuckey,
Martin Sulzmann:
Type Inference for Guarded Recursive Data Types
CoRR abs/cs/0507037: (2005) |
| 143 | | Michael Codish,
Vitaly Lagoon,
Peter J. Stuckey:
Solving Partial Order Constraints for LPO Termination
CoRR abs/cs/0512067: (2005) |
| 142 | | Peter Hawkins,
Vitaly Lagoon,
Peter J. Stuckey:
Solving Set Constraint Satisfaction Problems using ROBDDs.
J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005) |
| 141 | | Christian Holzbaur,
Maria J. García de la Banda,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL.
TPLP 5(4-5): 503-531 (2005) |
| 140 | | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL progams.
TPLP 5(6): 623-668 (2005) |
| 2004 |
|---|
| 139 | | Yukiyoshi Kameyama,
Peter J. Stuckey:
Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Springer 2004 |
| 138 | | Kim Marriott,
Bernd Meyer,
Peter J. Stuckey:
Towards Flexible Graphical Communication Using Adaptive Diagrams.
ASIAN 2004: 380-394 |
| 137 | | Peter Hawkins,
Vitaly Lagoon,
Peter J. Stuckey:
Set Bounds and (Split) Set Domain Propagation Using ROBDDs.
Australian Conference on Artificial Intelligence 2004: 706-717 |
| 136 | | Vitaly Lagoon,
Peter J. Stuckey:
Set Domain Propagation Using ROBDDs.
CP 2004: 347-361 |
| 135 | | Christian Schulte,
Peter J. Stuckey:
Speeding Up Constraint Propagation.
CP 2004: 619-633 |
| 134 | | Gregory J. Duck,
Simon L. Peyton Jones,
Peter J. Stuckey,
Martin Sulzmann:
Sound and Decidable Type Inference for Functional Dependencies.
ESOP 2004: 49-63 |
| 133 | | Gregory J. Duck,
Maria J. García de la Banda,
Peter J. Stuckey:
Compiling Ask Constraints.
ICLP 2004: 105-119 |
| 132 | | Gregory J. Duck,
Peter J. Stuckey,
Maria J. García de la Banda,
Christian Holzbaur:
The Refined Operational Semantics of Constraint Handling Rules.
ICLP 2004: 90-104 |
| 131 | | Konstantinos F. Sagonas,
Peter J. Stuckey:
Just enough tabling.
PPDP 2004: 78-89 |
| 130 | | Germán Puebla,
Jesús Correas,
Manuel V. Hermenegildo,
Francisco Bueno,
Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs.
Program Development in Computational Logic 2004: 233-260 |
| 129 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
David Overton,
Peter J. Stuckey:
Herbrand Constraints in HAL.
Program Development in Computational Logic 2004: 499-538 |
| 128 | | Chiu Wo Choi,
Warwick Harvey,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Finite Domain Bounds Consistency Revisited
CoRR abs/cs/0412021: (2004) |
| 127 | | Chiu Wo Choi,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Removing Propagation Redundant Constraints in Redundant Modeling
CoRR abs/cs/0412026: (2004) |
| 126 | | Christian Holzbaur,
Maria J. García de la Banda,
Peter J. Stuckey,
Gregory J. Duck:
Optimizing compilation of constraint handling rules in HAL
CoRR cs.PL/0408025: (2004) |
| 125 | | Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey,
Bart Demoen:
Checking modes of HAL programs
CoRR cs.PL/0409038: (2004) |
| 124 | | Arun Siddharth Konagurthu,
James C. Whisstock,
Peter J. Stuckey:
Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs.
J. Bioinformatics and Computational Biology 2(4): 719-746 (2004) |
| 123 | | Kim Marriott,
Peter J. Stuckey:
NP-Completeness of Minimal Width Unordered Tree Layout.
J. Graph Algorithms Appl. 8(2): 295-312 (2004) |
| 2003 |
|---|
| 122 | | Kim Marriott,
Peter J. Stuckey,
Martin Sulzmann:
Resource Usage Verification.
APLAS 2003: 212-229 |
| 121 | | Chi Kan Cheng,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Box Constraint Collections for Adhoc Constraints.
CP 2003: 214-228 |
| 120 | | Chiu Wo Choi,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Propagation Redundancy in Redundant Modelling.
CP 2003: 229-243 |
| 119 | | Vitaly Lagoon,
Frédéric Mesnard,
Peter J. Stuckey:
Termination Analysis with Types Is More Accurate.
ICLP 2003: 254-268 |
| 118 | | Peter J. Stuckey,
Lei Zheng:
Improving Nogood Recording Using 2SAT.
ICTAI 2003: 94-99 |
| 117 | | Kenil C. K. Cheng,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Efficient Representation of Adhoc Constraints.
IJCAI 2003: 1368-1369 |
| 116 | | Chiu Wo Choi,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Propagation Redundancy for Permutation Channels.
IJCAI 2003: 1370-1371 |
| 115 | | Maria J. García de la Banda,
Peter J. Stuckey,
Jeremy Wazny:
Finding all minimal unsatisfiable subsets.
PPDP 2003: 32-43 |
| 114 | | Gregory J. Duck,
Peter J. Stuckey,
Maria J. García de la Banda,
Christian Holzbaur:
Extending arbitrary solvers with constraint handling rules.
PPDP 2003: 79-90 |
| 113 | | Steve Barker,
Peter J. Stuckey:
Flexible access control policy specification with constraint logic programming.
ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003) |
| 112 | | Peter J. Stuckey,
Martin Sulzmann,
Jeremy Wazny:
The Chameleon Type Debugger (Tool Demonstration)
CoRR cs.PL/0311023: (2003) |
| 111 | | Kim Marriott,
Peter J. Stuckey,
Vincent Tam,
Weiqing He:
Removing Node Overlapping in Graph Layout Using Constrained Optimization.
Constraints 8(2): 143-171 (2003) |
| 110 | | Warwick Harvey,
Peter J. Stuckey:
Improving Linear Constraint Propagation by Changing Constraint Representation.
Constraints 8(2): 173-207 (2003) |
| 2002 |
|---|
| 109 | | Peter J. Stuckey:
Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings
Springer 2002 |
| 108 | | Hai Fang,
Y. Kilani,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
Reducing Search Space in Local Search for Constraint Satisfaction.
AAAI/IAAI 2002: 28-33 |
| 107 | | Lei Zheng,
Peter J. Stuckey:
Improving SAT Using 2SAT.
ACSC 2002: 331-340 |
| 106 | | Inga Sitzmann,
Peter J. Stuckey:
Compacting Discriminator Information for Spatial Trees.
Australasian Database Conference 2002 |
| 105 | | Peter J. Stuckey,
Lei Zheng:
Improving GSAT Using 2SAT.
CP 2002: 691-695 |
| 104 | | Maria J. García de la Banda,
Bart Demoen,
Kim Marriott,
Peter J. Stuckey:
To the Gates of HAL: A HAL Tutorial.
FLOPS 2002: 47-66 |
| 103 | | Peter J. Stuckey,
Martin Sulzmann:
A theory of overloading.
ICFP 2002: 167-178 |
| 102 | | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann,
Harald Søndergaard:
Exception analysis for non-strict languages.
ICFP 2002: 98-109 |
| 101 | | Liam T. G. Merlot,
Natashia Boland,
Barry D. Hughes,
Peter J. Stuckey:
A Hybrid Algorithm for the Examination Timetabling Problem.
PATAT 2002: 207-231 |
| 100 | | David Overton,
Zoltan Somogyi,
Peter J. Stuckey:
Constraint-based mode analysis of mercury.
PPDP 2002: 109-120 |
| 99 | | Zoltan Somogyi,
Peter J. Stuckey:
Using the heap to eliminate stack accesses.
PPDP 2002: 121-132 |
| 98 | | Vitaly Lagoon,
Peter J. Stuckey:
Precise pair-sharing analysis of logic programs.
PPDP 2002: 99-108 |
| 97 | | Warwick Harvey,
Peter J. Stuckey,
Alan Borning:
Fourier Elimination for Compiling Constraint Hierarchies.
Constraints 7(2): 199-219 (2002) |
| 96 | | Bruce Davey,
Natashia Boland,
Peter J. Stuckey:
Efficient Intelligent Backtracking Using Linear Programming.
INFORMS Journal on Computing 14(4): 373-386 (2002) |
| 95 | | Trevor Hansen,
Kim Marriott,
Bernd Meyer,
Peter J. Stuckey:
Flexible Graph Layout for the Web.
J. Vis. Lang. Comput. 13(1): 35-60 (2002) |
| 2001 |
|---|
| 94 | | Kim Marriott,
Peter Moulder,
Peter J. Stuckey,
Alan Borning:
Solving Disjunctive Constraints for Interactive Graphical Applications.
CP 2001: 361-376 |
| 93 | | Vitaly Lagoon,
Peter J. Stuckey:
A Framework for Analysis of Typed Logic Programs.
FLOPS 2001: 296-310 |
| 92 | | Michael Codish,
Samir Genaim,
Harald Søndergaard,
Peter J. Stuckey:
Higher-Precision Groundness Analysis.
ICLP 2001: 135-149 |
| 91 | | Christian Holzbaur,
Maria J. García de la Banda,
David Jeffery,
Peter J. Stuckey:
Optimizing Compilation of Constraint Handling Rules.
ICLP 2001: 74-89 |
| 90 | | Maria J. García de la Banda,
David Jeffery,
Kim Marriott,
Nicholas Nethercote,
Peter J. Stuckey,
Christian Holzbaur:
Building Constraint Solvers with HAL.
ICLP 2001: 90-104 |
| 89 | | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann,
Harald Søndergaard:
Boolean Constraints for Binding-Time Analysis.
PADO 2001: 39-62 |
| 88 | | Christian Schulte,
Peter J. Stuckey:
When Do Bounds and Domain Propagation Lead to the Same Search Space?
PPDP 2001: 115-126 |
| 87 | | Kevin Glynn,
Peter J. Stuckey,
Martin Sulzmann:
Effective Strictness Analysis with HORN Constraints.
SAS 2001: 73-92 |
| 86 | | Kenneth A. Ross,
Inga Sitzmann,
Peter J. Stuckey:
Cost-based Unbalanced R-Trees.
SSDBM 2001: 203-212 |
| 85 | | Greg J. Badros,
Alan Borning,
Peter J. Stuckey:
The Cassowary linear arithmetic constraint solving algorithm.
ACM Trans. Comput.-Hum. Interact. 8(4): 267-306 (2001) |
| 2000 |
|---|
| 84 | | John W. Lloyd,
Verónica Dahl,
Ulrich Furbach,
Manfred Kerber,
Kung-Kiu Lau,
Catuscia Palamidessi,
Luís Moniz Pereira,
Yehoshua Sagiv,
Peter J. Stuckey:
Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings
Springer 2000 |
| 83 | | Inga Sitzmann,
Peter J. Stuckey:
O-Trees: A Constraint-Based Index Structure.
Australasian Database Conference 2000: 127-134 |
| 82 | | Maria J. García de la Banda,
Peter J. Stuckey,
Warwick Harvey,
Kim Marriott:
Model Checking in HAL.
Computational Logic 2000: 1270-1284 |
| 81 | | Inga Sitzmann,
Peter J. Stuckey:
Improving Temporal Joins Using Histograms.
DEXA 2000: 488-498 |
| 80 | | Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott,
Germán Puebla,
Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation.
LOPSTR 2000 |
| 79 | | Francisco Bueno,
Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott,
Germán Puebla,
Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation.
LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 |
| 78 | | Manuel V. Hermenegildo,
Germán Puebla,
Kim Marriott,
Peter J. Stuckey:
Incremental analysis of constraint logic programs.
ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) |
| 77 | | Kenneth M. F. Choi,
Jimmy Ho-Man Lee,
Peter J. Stuckey:
A Lagrangian reconstruction of GENET.
Artif. Intell. 123(1-2): 1-39 (2000) |
| 76 | | Kevin Glynn,
Martin Sulzmann,
Peter J. Stuckey:
Type Classes and Constraint Handling Rules
CoRR cs.PL/0006034: (2000) |
| 1999 |
|---|
| 75 | | Greg J. Badros,
Alan Borning,
Kim Marriott,
Peter J. Stuckey:
Constraint Cascading Style Sheets for the Web.
ACM Symposium on User Interface Software and Technology 1999: 73-82 |
| 74 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
An Overview of HAL.
CP 1999: 174-188 |
| 73 | | Bart Demoen,
Maria J. García de la Banda,
Warwick Harvey,
Kim Marriott,
Peter J. Stuckey:
Herbrand Constraint Solving in HAL.
ICLP 1999: 260-274 |
| 72 | | Michael Codish,
Harald Søndergaard,
Peter J. Stuckey:
Sharing and groundness dependencies in logic programs.
ACM Trans. Program. Lang. Syst. 21(5): 948-976 (1999) |
| 71 | | Kim Marriott,
Peter J. Stuckey:
Book reviews.
Intelligence 10(2): 39-47 (1999) |
| 70 | | Peter J. Stuckey,
Vincent Tam:
Improving Evolutionary Algorithms for Efficient Constraint Satisfaction.
International Journal on Artificial Intelligence Tools 8(4): 363-384 (1999) |
| 1998 |
|---|
| 69 | | Warwick Harvey,
Peter J. Stuckey:
Constraint Representation for Propagation.
CP 1998: 235-249 |
| 68 | | Andrew D. Kelly,
Kim Marriott,
Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Optimizing Compilation of CLP(R).
ACM Trans. Program. Lang. Syst. 20(6): 1223-1250 (1998) |
| 67 | | Peter J. Stuckey,
Vincent Tam:
Extending GENET with lazy arc consistency.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 28(5): 698-703 (1998) |
| 66 | | Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey,
Harald Søndergaard:
Differential Methods in Logic Program Analysis.
J. Log. Program. 35(1): 1-37 (1998) |
| 65 | | Joxan Jaffar,
Michael J. Maher,
Kim Marriott,
Peter J. Stuckey:
The Semantics of Constraint Logic Programs.
J. Log. Program. 37(1-3): 1-46 (1998) |
| 64 | | Peter J. Stuckey,
Vincent Tam:
Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming.
Journal of Functional and Logic Programming 1998(2): (1998) |
| 63 | | Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey:
A Practical Object-Oriented Analysis Engine for CLP.
Softw., Pract. Exper. 28(2): 199-224 (1998) |
| 62 | | Kenneth A. Ross,
Divesh Srivastava,
Peter J. Stuckey,
S. Sudarshan:
Foundations of Aggregation Constraints.
Theor. Comput. Sci. 193(1-2): 149-179 (1998) |
| 1997 |
|---|
| 61 | | Alan Borning,
Kim Marriott,
Peter J. Stuckey,
Yi Xiao:
Solving Linear Arithmetic Constraints for User Interface Applications.
ACM Symposium on User Interface Software and Technology 1997: 87-96 |
| 60 | | Warwick Harvey,
Peter J. Stuckey,
Alan Borning:
Compiling Constraint Solving using Projection.
CP 1997: 491-505 |
| 59 | | Peter J. Stuckey:
Constraint Search Tree.
ICLP 1997: 301-315 |
| 58 | | Germán Puebla,
Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
Optimization of Logic Programs with Dynamic Scheduling.
ICLP 1997: 93-107 |
| 57 | | Peter J. Stuckey,
Vincent Tam:
Extending EGENET with Lazy Constraint Consistency.
ICTAI 1997: 248- |
| 56 | | Raghu Ramakrishnan,
Peter J. Stuckey:
Introduction to the Special Issue on Constraints and Databases.
Constraints 2(3/4): 243 (1997) |
| 55 | | Peter J. Stuckey,
S. Sudarshan:
Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models.
J. Log. Program. 32(3): 171-205 (1997) |
| 54 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
Meta-Programming in CLP(R).
J. Log. Program. 33(3): 221-259 (1997) |
| 53 | | David B. Kemp,
Kotagiri Ramamohanarao,
Peter J. Stuckey:
An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs.
Journal of Systems Integration 7(3/4): 191-230 (1997) |
| 1996 |
|---|
| 52 | | Roy Johnston,
Alistair Moffat,
Harald Søndergaard,
Peter J. Stuckey:
Low-contact learning in a first year programming course.
ACSE 1996: 19-26 |
| 51 | | Jimmy Ho-Man Lee,
Ho-fung Leung,
Peter J. Stuckey,
V. W. L. Tam,
Hon-Wing Won:
Using Stochastic Methods to Guide Search in CLP: A Preliminary Report.
ASIAN 1996: 43-52 |
| 50 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Peter J. Stuckey,
Roland H. C. Yap:
Effectiveness of Optimizing Compilation for CLP(R).
JICSLP 1996: 37-51 |
| 49 | | Peter J. Stuckey,
Vincent Tam:
Models for Using Stochastic Constraint Solvers in Constraint Logic Programming.
PLILP 1996: 423-437 |
| 48 | | Andrew D. Kelly,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey:
Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs.
SAS 1996: 385-386 |
| 47 | | Praveen Seshadri,
Joseph M. Hellerstein,
Hamid Pirahesh,
T. Y. Cliff Leung,
Raghu Ramakrishnan,
Divesh Srivastava,
Peter J. Stuckey,
S. Sudarshan:
Cost-Based Optimization for Magic: Algebra and Implementation.
SIGMOD Conference 1996: 435-446 |
| 46 | | David B. Kemp,
Peter J. Stuckey:
Optimizing Bottom-Up Evaluation of Constraint Queries.
J. Log. Program. 26(1): 1-30 (1996) |
| 1995 |
|---|
| 45 | | Andrew D. Kelly,
Andrew D. Macdonald,
Kim Marriott,
Harald Søndergaard,
Peter J. Stuckey,
Roland H. C. Yap:
An Optimizing Compiler for CLP(R).
CP 1995: 222-239 |
| 44 | | David B. Kemp,
Kotagiri Ramamohanarao,
Peter J. Stuckey:
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS.
DOOD 1995: 91-108 |
| 43 | | Jennifer Burg,
Peter J. Stuckey,
Jason C. H. Tai,
Roland H. C. Yap:
Linear Equation Solving for Constraint Logic Programming.
ICLP 1995: 33-47 |
| 42 | | Manuel V. Hermenegildo,
Germán Puebla,
Kim Marriott,
Peter J. Stuckey:
Incremental Analysis of Logic Programs.
ICLP 1995: 797-811 |
| 41 | | Maria J. García de la Banda,
Kim Marriott,
Peter J. Stuckey:
Efficient Analysis of Logic Programs with Dynamic Scheduling.
ILPS 1995: 417-431 |
| 40 | | Michael J. Maher,
Peter J. Stuckey:
On Inductive Inference of Cyclic Structures.
Ann. Math. Artif. Intell. 15(2): 167-208 (1995) |
| 39 | | Peter J. Stuckey:
Negation and Constraint Logic Programming
Inf. Comput. 118(1): 12-33 (1995) |
| 38 | | David B. Kemp,
Divesh Srivastava,
Peter J. Stuckey:
Bottom-Up Evaluation and Query Optimization of Well-Founded Models.
Theor. Comput. Sci. 146(1&2): 145-184 (1995) |
| 1994 |
|---|
| 37 | | Kim Marriott,
Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization.
ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35 |
| 36 | | Peter J. Stuckey,
S. Sudarshan:
Compiling Query Constraints.
PODS 1994: 56-67 |
| 35 | | Kenneth A. Ross,
Divesh Srivastava,
Peter J. Stuckey,
S. Sudarshan:
Foundations of Aggregation Constraints.
PPCP 1994: 193-204 |
| 34 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Beyond Finite Domains.
PPCP 1994: 86-94 |
| 33 | | Kim Marriott,
Peter J. Stuckey:
Approximating Interaction between Linear Arithmetic Constraints.
SLP 1994: 571-585 |
| 32 | | Jayen Vaghani,
Kotagiri Ramamohanarao,
David B. Kemp,
Zoltan Somogyi,
Peter J. Stuckey,
Tim S. Leask,
James Harland:
The Aditi Deductive Database System
VLDB J. 3(2): 245-288 (1994) |
| 1993 |
|---|
| 31 | | Peter J. Stuckey,
S. Sudarshan:
Well-Founded Ordered Search (Extended Abstract).
FSTTCS 1993: 161-172 |
| 30 | | David B. Kemp,
Peter J. Stuckey:
Analysis Based Constraint Query Optimization.
ICLP 1993: 666-682 |
| 29 | | Jayen Vaghani,
Kotagiri Ramamohanarao,
David B. Kemp,
Zoltan Somogyi,
Peter J. Stuckey,
Tim S. Leask,
James Harland:
Status of the Aditi Deductive Database System.
ICLP 1993: 851 |
| 28 | | Andrew D. Macdonald,
Peter J. Stuckey,
Roland H. C. Yap:
Redundancy of Variables in CLP (R).
ILPS 1993: 75-93 |
| 27 | | Kim Marriott,
Peter J. Stuckey:
The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering.
POPL 1993: 334-344 |
| 26 | | Jayen Vaghani,
Kotagiri Ramamohanarao,
David B. Kemp,
Zoltan Somogyi,
Peter J. Stuckey,
Tim S. Leask,
James Harland:
The Aditi Deductive Datebase System.
Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 161 |
| 25 | | Kim Marriott,
Peter J. Stuckey:
Semantics of Constraint Logic Programs with Optimization.
LOPLAS 2(1-4): 197-212 (1993) |
| 24 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Projecting CLP (R) Constraints.
New Generation Comput. 11(3): 449-469 (1993) |
| 1992 |
|---|
| 23 | | Joxan Jaffar,
Michael J. Maher,
Peter J. Stuckey,
Roland H. C. Yap:
Output in CLP.
FGCS 1992: 987-995 |
| 22 | | David B. Kemp,
Peter J. Stuckey,
Divesh Srivastava:
Query Restricted Bottom-Up Evaluation of Normal Logic Programs.
JICSLP 1992: 288-302 |
| 21 | | Joxan Jaffar,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
An Abstract Machine for CLP(R).
PLDI 1992: 128-139 |
| 20 | | Joxan Jaffar,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
The CLP(R) Language and System.
ACM Trans. Program. Lang. Syst. 14(3): 339-395 (1992) |
| 19 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems.
J. Autom. Reasoning 9(2): 231-260 (1992) |
| 18 | | Kanchana Kanchanasut,
Peter J. Stuckey:
Transforming Normal Logic Programs to Constraint Logic Programs.
Theor. Comput. Sci. 105(1): 27-56 (1992) |
| 1991 |
|---|
| 17 | | Jayen Vaghani,
Kotagiri Ramamohanarao,
David B. Kemp,
Zoltan Somogyi,
Peter J. Stuckey:
Design Overview of the Aditi Deductive Database System.
ICDE 1991: 240-247 |
| 16 | | David B. Kemp,
Divesh Srivastava,
Peter J. Stuckey:
Magic Sets and Bottom-Up Evaluation of Well-Founded Models.
ISLP 1991: 337-351 |
| 15 | | David B. Kemp,
Peter J. Stuckey:
Semantics of Logic Programs with Aggregates.
ISLP 1991: 387-401 |
| 14 | | Peter J. Stuckey:
Constructive Negation for Constraint Logic Programming
LICS 1991: 328-339 |
| 13 | | Jayen Vaghani,
David B. Kemp,
Peter J. Stuckey:
An Introduction to Aditi Deductive Database System.
Australian Computer Journal 23(1): 37-52 (1991) |
| 12 | | Peter J. Stuckey:
Incremental Linear Constraint Solving and Detection of Implicit Equalities.
INFORMS Journal on Computing 3(4): 269-274 (1991) |
| 1990 |
|---|
| 11 | | Kanchana Kanchanasut,
Peter J. Stuckey:
Eliminating Negation from Normal Logic Programs.
ALP 1990: 217-231 |
| 10 | | Pierre Lim,
Peter J. Stuckey:
Meta Programming as Constraint Programming.
NACLP 1990: 416-430 |
| 9 | | Pierre Lim,
Peter J. Stuckey:
A Constraint Logic Programming Shell.
PLILP 1990: 75-88 |
| 8 | | Jayen Vaghani,
Kotagiri Ramamohanarao,
David B. Kemp,
Zoltan Somogyi,
Peter J. Stuckey:
Design Overview of the Aditi Deductive Database System.
Workshop on Deductive Databases 1990: 0- |
| 1989 |
|---|
| 7 | | Michael J. Maher,
Peter J. Stuckey:
Expanding Query Power in Constraint Logic Programming Languages.
NACLP 1989: 20-36 |
| 6 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey,
Roland H. C. Yap:
On Meta-Programming in CLR(R).
NACLP 1989: 52-66 |
| 5 | | John N. Crossley,
Pierre Lim,
Peter J. Stuckey:
Interface Logic Programming.
Australian Computer Journal 21(2): 49-55 (1989) |
| 1987 |
|---|
| 4 | | Nevin Heintze,
Spiro Michaylov,
Peter J. Stuckey:
CLP(R) and Some Electrical Engineering Problems.
ICLP 1987: 675-703 |
| 1986 |
|---|
| 3 | | Joxan Jaffar,
Peter J. Stuckey:
Logic Program Semantics for Programming with Equations.
ICLP 1986: 313-326 |
| 2 | | Joxan Jaffar,
Peter J. Stuckey:
Canonical Logic Programs.
J. Log. Program. 3(2): 143-155 (1986) |
| 1 | | Joxan Jaffar,
Peter J. Stuckey:
Semantics of Infinite Tree Logic Programming.
Theor. Comput. Sci. 46(3): 141-158 (1986) |
