Peter J. Stuckey

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