Peter J. Stuckey Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
223Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey Chu, Christian Schulte, Peter J. Stuckey: Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241
222Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey Chu, Peter J. Stuckey: Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257
221Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda: Using Relaxations in Maximum Density Still Life. CP 2009: 258-273
220Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThibaut Feydy, Peter J. Stuckey: Lazy Clause Generation Reengineered. CP 2009: 352-366
219Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
218Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706
217Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
216Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
215Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Samir Genaim, Peter J. Stuckey: A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266
214Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2): (2009)
213Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlex Stivala, Anthony Wirth, Peter J. Stuckey: Tableau-based protein substructure search using quadratic programming. BMC Bioinformatics 10: (2009)
212Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThibaut Feydy, Peter J. Stuckey: Propagating systems of dense linear integer constraints. Constraints 14(2): 235-253 (2009)
211Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation via lazy clause generation. Constraints 14(3): 357-391 (2009)
210Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)
2008
209no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Stuckey: Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings Springer 2008
208Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Ohrimenko, Peter J. Stuckey: Modelling for Lazy Clause Generation. CATS 2008: 27-37
207Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamuel Huston, Jakob Puchinger, Peter J. Stuckey: The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47
206Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
205Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
204Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
203Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
202Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
201Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
200Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
199Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
198Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJakob Puchinger, Peter J. Stuckey: Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89
197Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
196Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
195Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
194Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): (2008)
193Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArun 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)
192Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNatashia 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)
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim 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)
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim 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)
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack: MiniZinc: Towards a Standard CP Modelling Language. CP 2007: 529-543
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOlga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. CPAIOR 2007: 1-15
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth A. Ross, Peter J. Stuckey, Amélie Marian: Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236
181Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKathryn Francis, Peter J. Stuckey: Constraint propagation for loose constraint graphs. SAC 2007: 334-335
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4): (2007)
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints CoRR abs/0709.2961: (2007)
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability CoRR abs/cs/0702072: (2007)
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin 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)
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. Australian Conference on Artificial Intelligence 2006: 49-58
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting. ICLP 2006: 117-131
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalph 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
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRafiq Muhammad, Peter J. Stuckey: A Stochastic Non-CNF SAT Solver. PRICAI 2006: 120-129
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT CoRR abs/cs/0607071: (2006)
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Peter J. Stuckey, Sebastian Brand: ACD Term Rewriting CoRR abs/cs/0608016: (2006)
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines CoRR abs/cs/0611009: (2006)
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom 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)
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArun 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)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
2005
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal. Graph Drawing 2005: 153-164
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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)
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
146Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing CoRR abs/cs/0505085: (2005)
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations CoRR abs/cs/0507036: (2005)
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types CoRR abs/cs/0507037: (2005)
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination CoRR abs/cs/0512067: (2005)
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian 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)
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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
139no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYukiyoshi Kameyama, Peter J. Stuckey: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings Springer 2004
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVitaly Lagoon, Peter J. Stuckey: Set Domain Propagation Using ROBDDs. CP 2004: 347-361
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGregory 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
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKonstantinos F. Sagonas, Peter J. Stuckey: Just enough tabling. PPDP 2004: 78-89
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBart 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
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited CoRR abs/cs/0412021: (2004)
127Electronic Edition pubzone.org CiteSeerX