Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Peter J. Stuckey
2010 – today
- 2013
[j89]Raj K. Gaire, Lorey Smith, Patrick Humbert, James Bailey, Peter J. Stuckey, Izhak Haviv: Discovery and analysis of consistent active sub-networks in cancers. BMC Bioinformatics 14(S-2): S7 (2013)- [j88]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search combinators. Constraints 18(2): 269-305 (2013)
- [j87]Amit Metodi, Michael Codish, Peter J. Stuckey: Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems. J. Artif. Intell. Res. (JAIR) 46: 303-341 (2013)
- [j86]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Solving RCPSP/max by lazy clause generation. J. Scheduling 16(3): 273-289 (2013)
- [c176]Graeme Gange, Harald Søndergaard, Peter J. Stuckey, Peter Schachte: Solving Difference Constraints over Modular Arithmetic. CADE 2013: 215-230
- [c175]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey: Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CPAIOR 2013: 234-250
- [c174]
- [c173]Hanyu Gu, Andreas Schutt, Peter J. Stuckey: A Lagrangian Relaxation Based Forward-Backward Improvement Heuristic for Maximising the Net Present Value of Resource-Constrained Projects. CPAIOR 2013: 340-346
- [c172]Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey: Abstract Interpretation over Non-lattice Abstract Domains. SAS 2013: 6-24
- [c171]Graeme Gange, Jorge A. Navas, Peter J. Stuckey, Harald Søndergaard, Peter Schachte: Unbounded Model-Checking with Interpolation for Regular Language Constraints. TACAS 2013: 277-291
- [i21]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey: Unsatisfiable Cores for Constraint Programming. CoRR abs/1305.1690 (2013)
- 2012
- [j85]Geoffrey Chu, Peter J. Stuckey: A complete solution to the Maximum Density Still Life Problem. Artif. Intell. 184-185: 1-16 (2012)
- [j84]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh: AI@NICTA. AI Magazine 33(3): 115- (2012)
- [j83]Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey: Exploiting subproblem dominance in constraint programming. Constraints 17(1): 1-38 (2012)
- [c170]
- [c169]Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey: Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code. APLAS 2012: 115-130
- [c168]Geoffrey Chu, Peter J. Stuckey: A Generic Method for Identifying and Exploiting Dominance Relations. CP 2012: 6-22
- [c167]
- [c166]Geoffrey Chu, Peter J. Stuckey: Inter-instance Nogood Learning in Constraint Programming. CP 2012: 238-247
- [c165]Kathryn Francis, Sebastian Brand, Peter J. Stuckey: Optimisation Modelling for Software Developers. CP 2012: 274-289
- [c164]Hanyu Gu, Peter J. Stuckey, Mark G. Wallace: Maximising the Net Present Value of Large Resource-Constrained Projects. CP 2012: 767-781
- [c163]Nicholas Downing, Thibaut Feydy, Peter J. Stuckey: Explaining Flow-Based Propagation. CPAIOR 2012: 146-162
- [c162]
- [c161]Andreas Schutt, Geoffrey Chu, Peter J. Stuckey, Mark G. Wallace: Maximising the Net Present Value for Resource-Constrained Project Scheduling. CPAIOR 2012: 362-378
- [c160]
- [c159]Graeme Gange, Kim Marriott, Peter J. Stuckey: Optimal guillotine layout. ACM Symposium on Document Engineering 2012: 13-22
- [c158]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
- [c157]Broes de Cat, Marc Denecker, Peter J. Stuckey: Lazy Model Expansion by Incremental Grounding. ICLP (Technical Communications) 2012: 201-211
- [c156]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: An Introduction to Search Combinators. LOPSTR 2012: 2-16
- [i20]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CoRR abs/1203.1095 (2012)
- [i19]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey: Explaining Time-Table-Edge-Finding Propagation for the Cumulative Resource Constraint. CoRR abs/1208.3015 (2012)
- 2011
- [j82]Arun Siddharth Konagurthu, Lloyd Allison, Peter J. Stuckey, Arthur M. Lesk: Piecewise linear approximation of protein structures using the principle of minimum message length. Bioinformatics [ISMB/ECCB] 27(13): 43-51 (2011)
- [j81]Alex Stivala, Michael Wybrow, Anthony Wirth, James C. Whisstock, Peter J. Stuckey: Automatic generation of protein structure cartoons with Pro-origami. Bioinformatics 27(23): 3315-3316 (2011)
- [j80]Jakob Puchinger, Peter J. Stuckey, Mark G. Wallace, Sebastian Brand: Dantzig-Wolfe decomposition and branch-and-price solving in G12. Constraints 16(1): 77-99 (2011)
- [j79]Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey: CP and IP approaches to cancer radiotherapy delivery optimization. Constraints 16(2): 173-194 (2011)
- [j78]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Explaining the cumulative propagator. Constraints 16(3): 250-282 (2011)
- [j77]Graeme Gange, Peter J. Stuckey, Radoslaw Szymanek: MDD propagators with explanation. Constraints 16(4): 407-429 (2011)
- [j76]Maria Garcia de la Banda, Peter J. Stuckey, Geoffrey Chu: Solving Talent Scheduling with Dynamic Programming. INFORMS Journal on Computing 23(1): 120-137 (2011)
- [c155]
- [c154]
- [c153]Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding. CP 2011: 621-636
- [c152]Tom Schrijvers, Guido Tack, Pieter Wuille, Horst Samulowitz, Peter J. Stuckey: Search Combinators. CP 2011: 774-788
- [c151]Graeme Gange, Kim Marriott, Peter Moulder, Peter J. Stuckey: Optimal automatic table layout. ACM Symposium on Document Engineering 2011: 23-32
- [c150]Leslie De Koninck, Sebastian Brand, Peter J. Stuckey: Constraints in Non-Boolean Contexts. ICLP (Technical Communications) 2011: 117-127
- [c149]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda, Christopher Mears: Symmetries and Lazy Clause Generation. IJCAI 2011: 516-521
- [c148]Ignasi Abío, Morgan Deters, Robert Nieuwenhuis, Peter J. Stuckey: Reducing Chaos in SAT-Like Search: Finding Solutions Close to a Given One. SAT 2011: 273-286
- [c147]Pieter Wuille, Tom Schrijvers, Horst Samulowitz, Guido Tack, Peter J. Stuckey: Memoizing a Monadic Mixin DSL. WFLP 2011: 68-85
- [i18]Amit Metodi, Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Boolean Equi-propagation for Optimized SAT Encoding. CoRR abs/1104.4617 (2011)
- [i17]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. CoRR abs/1109.2139 (2011)
- 2010
- [j75]Raj K. Gaire, James Bailey, Jennifer Bearfoot, Ian G. Campbell, Peter J. Stuckey, Izhak Haviv: MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. Bioinformatics 26(2): 161-167 (2010)
- [j74]Alex Stivala, Peter J. Stuckey, Anthony Wirth: Fast and accurate protein substructure searching with simulated annealing and GPUs. BMC Bioinformatics 11: 446 (2010)
- [j73]Peter J. Stuckey: Introduction to the special issue on the Fourteenth International Conference on Principles and Practice of Constraint Programming (CP 2008). Constraints 15(2): 149-150 (2010)
- [j72]Peter J. Stuckey, Ralph Becket, Julien Fischer: Philosophy of the MiniZinc challenge. Constraints 15(3): 307-316 (2010)
- [j71]Andreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints. INFORMS Journal on Computing 22(4): 514-527 (2010)
- [j70]Graeme Gange, Peter J. Stuckey, Vitaly Lagoon: Fast Set Bounds Propagation Using a BDD-SAT Hybrid. J. Artif. Intell. Res. (JAIR) 38: 307-338 (2010)
- [j69]Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth: Lock-free parallel dynamic programming. J. Parallel Distrib. Comput. 70(8): 839-848 (2010)
- [c146]Nicholas Downing, Peter J. Stuckey, Anthony Wirth: Improved consensus clustering via linear programming. ACSC 2010: 61-70
- [c145]Peter J. Stuckey: Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. CPAIOR 2010: 5-9
- [c144]Timo Berthold, Thibaut Feydy, Peter J. Stuckey: Rapid Learning for Binary Programs. CPAIOR 2010: 51-55
- [c143]Geoffrey Chu, Maria Garcia de la Banda, Peter J. Stuckey: Automatically Exploiting Subproblem Equivalence in Constraint Programming. CPAIOR 2010: 71-86
- [c142]Graeme Gange, Peter J. Stuckey, Kim Marriott: Optimal k-Level Planarization and Crossing Minimization. Graph Drawing 2010: 238-249
- [i16]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark G. Wallace: Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation. CoRR abs/1009.0347 (2010)
2000 – 2009
- 2009
- [j68]Alex Stivala, Anthony Wirth, Peter J. Stuckey: Tableau-based protein substructure search using quadratic programming. BMC Bioinformatics 10 (2009)
- [j67]Thibaut Feydy, Peter J. Stuckey: Propagating systems of dense linear integer constraints. Constraints 14(2): 235-253 (2009)
- [j66]Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation via lazy clause generation. Constraints 14(3): 357-391 (2009)
- [j65]Tom Schrijvers, Peter J. Stuckey, Philip Wadler: Monadic constraint programming. J. Funct. Program. 19(6): 663-697 (2009)
- [j64]Geoffrey Chu, Aaron Harwood, Peter J. Stuckey: Cache Conscious Data Structures for Boolean Satisfiability Solvers. JSAT 6(1-3): 99-120 (2009)
- [j63]Christian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2) (2009)
- [c141]Geoffrey Chu, Christian Schulte, Peter J. Stuckey: Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241
- [c140]Geoffrey Chu, Peter J. Stuckey: Minimizing the Maximum Number of Open Stacks by Customer Search. CP 2009: 242-257
- [c139]Geoffrey Chu, Peter J. Stuckey, Maria Garcia de la Banda: Using Relaxations in Maximum Density Still Life. CP 2009: 258-273
- [c138]
- [c137]Alan M. Frisch, Peter J. Stuckey: The Proper Treatment of Undefinedness in Constraint Languages. CP 2009: 367-382
- [c136]Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706
- [c135]Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace: Why Cumulative Decomposition Is Not as Bad as It Sounds. CP 2009: 746-761
- [c134]Michael Wybrow, Kim Marriott, Peter J. Stuckey: Orthogonal Connector Routing. Graph Drawing 2009: 219-231
- [c133]Leslie De Koninck, Gregory J. Duck, Peter J. Stuckey: Demand-Driven Normalisation for ACD Term Rewriting. ICLP 2009: 484-488
- [c132]Michael Codish, Samir Genaim, Peter J. Stuckey: A declarative encoding of telecommunications feature subscription in SAT. PPDP 2009: 255-266
- 2008
- [j62]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)
- [j61]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)
- [j60]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)
- [j59]Martin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
- [j58]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. JSAT 5(1-4): 193-215 (2008)
- [j57]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)
- [j56]Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1) (2008)
- [j55]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic programming with satisfiability. TPLP 8(1): 121-128 (2008)
- [j54]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)
- [j53]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)
- [c131]
- [c130]Samuel Huston, Jakob Puchinger, Peter J. Stuckey: The Core Concept for 0/1 Integer Programming. CATS 2008: 39-47
- [c129]Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand: From High-Level Model to Branch-and-Price Solution in G12. CPAIOR 2008: 218-232
- [c128]Graeme Gange, Kim Marriott, Peter J. Stuckey: Smooth Linear Approximation of Non-overlap Constraints. Diagrams 2008: 45-59
- [c127]Graeme Gange, Vitaly Lagoon, Peter J. Stuckey: Fast Set Bounds Propagation using BDDs. ECAI 2008: 505-509
- [c126]Leslie De Koninck, Peter J. Stuckey, Gregory J. Duck: Optimizing Compilation of CHR with Rule Priorities. FLOPS 2008: 32-47
- [c125]Christian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
- [c124]Gregory J. Duck, Leslie De Koninck, Peter J. Stuckey: Cadmium: An Implementation of ACD Term Rewriting. ICLP 2008: 531-545
- [c123]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Telecommunications Feature Subscription as a Partial Order Constraint Problem. ICLP 2008: 749-753
- [c122]Sebastian Brand, Gregory J. Duck, Jakob Puchinger, Peter J. Stuckey: Flexible, Rule-Based Constraint Model Linearisation. PADL 2008: 68-83
- [c121]Jakob Puchinger, Peter J. Stuckey: Automating branch-and-bound for dynamic programs. PEPM 2008: 81-89
- [c120]Thibaut Feydy, Andreas Schutt, Peter J. Stuckey: Global difference constraint propagation for finite domain solvers. PPDP 2008: 226-235
- [c119]Christian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
- [e4]Peter J. Stuckey (Ed.): Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Lecture Notes in Computer Science 5202, Springer 2008, ISBN 978-3-540-85957-4
- 2007
- [j52]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)
- [j51]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)
- [j50]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)
- [j49]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing propagation redundant constraints in redundant modeling. ACM Trans. Comput. Log. 8(4) (2007)
- [c118]Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh: Encodings of the Sequence Constraint. CP 2007: 210-224
- [c117]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
- [c116]Olga Ohrimenko, Peter J. Stuckey, Michael Codish: Propagation = Lazy Clause Generation. CP 2007: 544-558
- [c115]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
- [c114]Kenneth A. Ross, Peter J. Stuckey, Amélie Marian: Practical Preference Relations for Large Data Sets. ICDE Workshops 2007: 229-236
- [c113]Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
- [c112]Thibaut Feydy, Peter J. Stuckey: Propagating dense systems of integer linear equations. SAC 2007: 306-310
- [c111]Kathryn Francis, Peter J. Stuckey: Constraint propagation for loose constraint graphs. SAC 2007: 334-335
- [i15]Andreas Schutt, Peter J. Stuckey: Incremental Satisfiability and Implication for UTVPI Constraints. CoRR abs/0709.2961 (2007)
- [i14]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Logic Programming with Satisfiability. CoRR abs/cs/0702072 (2007)
- 2006
- [j48]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)
- [j47]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)
- [j46]Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey: Improving PARMA trailing. TPLP 6(6): 609-644 (2006)
- [c110]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25
- [c109]Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
- [c108]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
- [c107]Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey: Size-Change Termination Analysis in k-Bits. ESOP 2006: 230-245
- [c106]Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
- [c105]Tim Dwyer, Kim Marriott, Peter J. Stuckey: Fast Node Overlap Removal - Correction. Graph Drawing 2006: 446-447
- [c104]
- [c103]Peter Hawkins, Peter J. Stuckey: A Hybrid BDD and SAT Finite Domain Constraint Solver. PADL 2006: 103-117
- [c102]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
- [c101]
- [c100]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. RTA 2006: 4-18
- [i13]Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey: Islands for SAT. CoRR abs/cs/0607071 (2006)
- [i12]
- [i11]Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. CoRR abs/cs/0611009 (2006)
- 2005
- [j45]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Solving Set Constraint Satisfaction Problems using ROBDDs. J. Artif. Intell. Res. (JAIR) 24: 109-156 (2005)
- [j44]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)
- [j43]Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
- [j42]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)
- [j41]Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen: Checking modes of HAL programs. TPLP 5(6): 623-668 (2005)
- [c99]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
- [c98]
- [c97]Michael Wybrow, Kim Marriott, Peter J. Stuckey: Incremental Connector Routing. Graph Drawing 2005: 446-457
- [c96]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
- [c95]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Testing for Termination with Monotonicity Constraints. ICLP 2005: 326-340
- [c94]James Bailey, Peter J. Stuckey: Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. PADL 2005: 174-186
- [c93]Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck: Abstract interpretation for constraint handling rules. PPDP 2005: 218-229
- [i10]Tom Schrijvers, Maria J. García de la Banda, Bart Demoen, Peter J. Stuckey: Improving PARMA Trailing. CoRR abs/cs/0505085 (2005)
- [i9]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005)
- [i8]Peter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types. CoRR abs/cs/0507037 (2005)
- [i7]Michael Codish, Vitaly Lagoon, Peter J. Stuckey: Solving Partial Order Constraints for LPO Termination. CoRR abs/cs/0512067 (2005)
- 2004
- [j40]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)
- [j39]Kim Marriott, Peter J. Stuckey: NP-Completeness of Minimal Width Unordered Tree Layout. J. Graph Algorithms Appl. 8(2): 295-312 (2004)
- [c92]Kim Marriott, Bernd Meyer, Peter J. Stuckey: Towards Flexible Graphical Communication Using Adaptive Diagrams. ASIAN 2004: 380-394
- [c91]Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey: Set Bounds and (Split) Set Domain Propagation Using ROBDDs. Australian Conference on Artificial Intelligence 2004: 706-717
- [c90]
- [c89]
- [c88]Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
- [c87]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improving type error diagnosis. Haskell 2004: 80-91
- [c86]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
- [c85]Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey: Compiling Ask Constraints. ICLP 2004: 105-119
- [c84]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
- [c83]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
- [c82]
- [e3]Yukiyoshi Kameyama, Peter J. Stuckey (Eds.): Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings. Lecture Notes in Computer Science 2998, Springer 2004, ISBN 3-540-21402-X
- [i6]Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey: Finite Domain Bounds Consistency Revisited. CoRR abs/cs/0412021 (2004)
- [i5]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Removing Propagation Redundant Constraints in Redundant Modeling. CoRR abs/cs/0412026 (2004)
- [i4]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)
- [i3]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)
- 2003
- [j38]Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He: Removing Node Overlapping in Graph Layout Using Constrained Optimization. Constraints 8(2): 143-171 (2003)
- [j37]Warwick Harvey, Peter J. Stuckey: Improving Linear Constraint Propagation by Changing Constraint Representation. Constraints 8(2): 173-207 (2003)
- [j36]Steve Barker, Peter J. Stuckey: Flexible access control policy specification with constraint logic programming. ACM Trans. Inf. Syst. Secur. 6(4): 501-546 (2003)
- [c81]
- [c80]Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Box Constraint Collections for Adhoc Constraints. CP 2003: 214-228
- [c79]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy in Redundant Modelling. CP 2003: 229-243
- [c78]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Interactive type debugging in Haskell. Haskell 2003: 72-83
- [c77]Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey: Termination Analysis with Types Is More Accurate. ICLP 2003: 254-268
- [c76]
- [c75]Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey: Efficient Representation of Adhoc Constraints. IJCAI 2003: 1368-1369
- [c74]Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: Propagation Redundancy for Permutation Channels. IJCAI 2003: 1370-1371
- [c73]Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny: Finding all minimal unsatisfiable subsets. PPDP 2003: 32-43
- [c72]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
- [i2]Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration). CoRR cs.PL/0311023 (2003)
- 2002
- [j35]Warwick Harvey, Peter J. Stuckey, Alan Borning: Fourier Elimination for Compiling Constraint Hierarchies. Constraints 7(2): 199-219 (2002)
- [j34]Bruce Davey, Natashia Boland, Peter J. Stuckey: Efficient Intelligent Backtracking Using Linear Programming. INFORMS Journal on Computing 14(4): 373-386 (2002)
- [j33]Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey: Flexible Graph Layout for the Web. J. Vis. Lang. Comput. 13(1): 35-60 (2002)
- [c71]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
- [c70]
- [c69]Inga Sitzmann, Peter J. Stuckey: Compacting Discriminator Information for Spatial Trees. Australasian Database Conference 2002
- [c68]
- [c67]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
- [c66]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109
- [c65]
- [c64]Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey: A Hybrid Algorithm for the Examination Timetabling Problem. PATAT 2002: 207-231
- [c63]
- [c62]David Overton, Zoltan Somogyi, Peter J. Stuckey: Constraint-based mode analysis of mercury. PPDP 2002: 109-120
- [c61]
- [e2]Peter J. Stuckey (Ed.): Logic Programming, 18th International Conference, ICLP 2002, Copenhagen, Denmark, July 29 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2401, Springer 2002, ISBN 3-540-43930-7
- 2001
- [j32]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)
- [c60]Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning: Solving Disjunctive Constraints for Interactive Graphical Applications. CP 2001: 361-376
- [c59]Vitaly Lagoon, Peter J. Stuckey: A Framework for Analysis of Typed Logic Programs. FLOPS 2001: 296-310
- [c58]Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey: Optimizing Compilation of Constraint Handling Rules. ICLP 2001: 74-89
- [c57]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
- [c56]Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey: Higher-Precision Groundness Analysis. ICLP 2001: 135-149
- [c55]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62
- [c54]Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126
- [c53]Kevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
- [c52]Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey: Cost-based Unbalanced R-Trees. SSDBM 2001: 203-212
- 2000
- [j31]Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey: A Lagrangian reconstruction of GENET. Artif. Intell. 123(1-2): 1-39 (2000)
- [j30]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)
- [c51]Inga Sitzmann, Peter J. Stuckey: O-Trees: A Constraint-Based Index Structure. Australasian Database Conference 2000: 127-134
- [c50]Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott: Model Checking in HAL. Computational Logic 2000: 1270-1284
- [c49]
- [c48]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
- [c47]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
- [e1]John W. Lloyd, Verónica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (Eds.): Computational Logic - CL 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings. Lecture Notes in Computer Science 1861, Springer 2000, ISBN 3-540-67797-6
- [i1]Kevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000)
1990 – 1999
- 1999
- [j29]Peter J. Stuckey, Vincent Tam: Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. International Journal on Artificial Intelligence Tools 8(4): 363-384 (1999)
- [j28]
- [j27]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)
- [c46]Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey: An Overview of HAL. CP 1999: 174-188
- [c45]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
- [c44]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
- 1998
- [j26]Peter J. Stuckey, Vincent Tam: Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. Journal of Functional and Logic Programming 1998(2) (1998)
- [j25]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)
- [j24]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)
- [j23]Kim Marriott, Harald Søndergaard, Peter J. Stuckey: A Practical Object-Oriented Analysis Engine for CLP. Softw., Pract. Exper. 28(2): 199-224 (1998)
- [j22]Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. Theor. Comput. Sci. 193(1-2): 149-179 (1998)
- [j21]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)
- [j20]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)
- [c43]
- 1997
- [j19]Raghu Ramakrishnan, Peter J. Stuckey: Introduction to the Special Issue on Constraints and Databases. Constraints 2(3/4): 243 (1997)
- [j18]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)
- [j17]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: Meta-Programming in CLP(R). J. Log. Program. 33(3): 221-259 (1997)
- [j16]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)
- [c42]Warwick Harvey, Peter J. Stuckey, Alan Borning: Compiling Constraint Solving using Projection. CP 1997: 491-505
- [c41]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
- [c40]
- [c39]
- [c38]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
- 1996
- [j15]David B. Kemp, Peter J. Stuckey: Optimizing Bottom-Up Evaluation of Constraint Queries. J. Log. Program. 26(1): 1-30 (1996)
- [c37]Roy Johnston, Alistair Moffat, Harald Søndergaard, Peter J. Stuckey: Low-contact learning in a first year programming course. ACSE 1996: 19-26
- [c36]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
- [c35]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
- [c34]Peter J. Stuckey, Vincent Tam: Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. PLILP 1996: 423-437
- [c33]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
- [c32]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
- 1995
- [j14]Michael J. Maher, Peter J. Stuckey: On Inductive Inference of Cyclic Structures. Ann. Math. Artif. Intell. 15(2): 167-208 (1995)
- [j13]
- [j12]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)
- [c31]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
- [c30]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
- [c29]Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap: Linear Equation Solving for Constraint Logic Programming. ICLP 1995: 33-47
- [c28]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
- [c27]Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey: Efficient Analysis of Logic Programs with Dynamic Scheduling. ILPS 1995: 417-431
- 1994
- [j11]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)
- [c26]Kim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. ICLP Workshop: Integration of Declarative Paradigms 1994: 23-35
- [c25]
- [c24]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Beyond Finite Domains. PPCP 1994: 86-94
- [c23]Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan: Foundations of Aggregation Constraints. PPCP 1994: 193-204
- [c22]Kim Marriott, Peter J. Stuckey: Approximating Interaction between Linear Arithmetic Constraints. SLP 1994: 571-585
- 1993
- [j10]Kim Marriott, Peter J. Stuckey: Semantics of Constraint Logic Programs with Optimization. LOPLAS 2(1-4): 197-212 (1993)
- [j9]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Projecting CLP (R) Constraints. New Generation Comput. 11(3): 449-469 (1993)
- [c21]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
- [c20]Peter J. Stuckey, S. Sudarshan: Well-Founded Ordered Search (Extended Abstract). FSTTCS 1993: 161-172
- [c19]
- [c18]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
- [c17]Kim Marriott, Peter J. Stuckey: The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. POPL 1993: 334-344
- [c16]Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap: Redundancy of Variables in CLP (R). ILPS 1993: 75-93
- 1992
- [j8]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. J. Autom. Reasoning 9(2): 231-260 (1992)
- [j7]Kanchana Kanchanasut, Peter J. Stuckey: Transforming Normal Logic Programs to Constraint Logic Programs. Theor. Comput. Sci. 105(1): 27-56 (1992)
- [j6]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)
- [c15]Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap: Output in CLP. FGCS 1992: 987-995
- [c14]David B. Kemp, Peter J. Stuckey, Divesh Srivastava: Query Restricted Bottom-Up Evaluation of Normal Logic Programs. JICSLP 1992: 288-302
- [c13]Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: An Abstract Machine for CLP(R). PLDI 1992: 128-139
- 1991
- [j5]Jayen Vaghani, David B. Kemp, Peter J. Stuckey: An Introduction to Aditi Deductive Database System. Australian Computer Journal 23(1): 37-52 (1991)
- [j4]Peter J. Stuckey: Incremental Linear Constraint Solving and Detection of Implicit Equalities. INFORMS Journal on Computing 3(4): 269-274 (1991)
- [c12]Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey: Design Overview of the Aditi Deductive Database System. ICDE 1991: 240-247
- [c11]
- [c10]David B. Kemp, Divesh Srivastava, Peter J. Stuckey: Magic Sets and Bottom-Up Evaluation of Well-Founded Models. ISLP 1991: 337-351
- [c9]
- 1990
- [c8]Kanchana Kanchanasut, Peter J. Stuckey: Eliminating Negation from Normal Logic Programs. ALP 1990: 217-231
- [c7]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
- [c6]
- [c5]
1980 – 1989
- 1989
- [j3]John N. Crossley, Pierre Lim, Peter J. Stuckey: Interface Logic Programming. Australian Computer Journal 21(2): 49-55 (1989)
- [c4]Michael J. Maher, Peter J. Stuckey: Expanding Query Power in Constraint Logic Programming Languages. NACLP 1989: 20-36
- [c3]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap: On Meta-Programming in CLR(R). NACLP 1989: 52-66
- 1987
- [c2]Nevin Heintze, Spiro Michaylov, Peter J. Stuckey: CLP(R) and Some Electrical Engineering Problems. ICLP 1987: 675-703
- 1986
- [j2]
- [j1]Joxan Jaffar, Peter J. Stuckey: Semantics of Infinite Tree Logic Programming. Theor. Comput. Sci. 46(3): 141-158 (1986)
- [c1]Joxan Jaffar, Peter J. Stuckey: Logic Program Semantics for Programming with Equations. ICLP 1986: 313-326
Coauthor Index
[c160] [c159] [c151] [c142] [c134] [j61] [j57] [j53] [c128] [c105] [c102] [j41] [c99] [c98] [c97] [c96] [j39] [c92] [c84] [c83] [i3] [j38] [c81] [j33] [c67] [c60] [c57] [j30] [c50] [c48] [c47] [j28] [c46] [c45] [c44] [j25] [j24] [j23] [j21] [c41] [c38] [c35] [c33] [c31] [c28] [c27] [c26] [c22] [j10] [c17]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18 22:39 CEST by the dblp team