The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Peter J. Stuckey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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. [Citation Graph (13, 24)][DBLP]
    SIGMOD Conference, 1996, pp:435-446 [Conf]
  2. David B. Kemp, Peter J. Stuckey, Divesh Srivastava
    Query Restricted Bottom-Up Evaluation of Normal Logic Programs. [Citation Graph (8, 0)][DBLP]
    JICSLP, 1992, pp:288-302 [Conf]
  3. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    The CLP(R) Language and System. [Citation Graph (7, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1992, v:14, n:3, pp:339-395 [Journal]
  4. Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
    Foundations of Aggregation Constraints. [Citation Graph (6, 0)][DBLP]
    PPCP, 1994, pp:193-204 [Conf]
  5. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
    Design Overview of the Aditi Deductive Database System. [Citation Graph (5, 0)][DBLP]
    Workshop on Deductive Databases, 1990, pp:0-0 [Conf]
  6. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey
    Design Overview of the Aditi Deductive Database System. [Citation Graph (5, 13)][DBLP]
    ICDE, 1991, pp:240-247 [Conf]
  7. David B. Kemp, Peter J. Stuckey
    Analysis Based Constraint Query Optimization. [Citation Graph (4, 0)][DBLP]
    ICLP, 1993, pp:666-682 [Conf]
  8. David B. Kemp, Peter J. Stuckey
    Semantics of Logic Programs with Aggregates. [Citation Graph (4, 0)][DBLP]
    ISLP, 1991, pp:387-401 [Conf]
  9. David B. Kemp, Divesh Srivastava, Peter J. Stuckey
    Magic Sets and Bottom-Up Evaluation of Well-Founded Models. [Citation Graph (4, 0)][DBLP]
    ISLP, 1991, pp:337-351 [Conf]
  10. Michael J. Maher, Peter J. Stuckey
    Expanding Query Power in Constraint Logic Programming Languages. [Citation Graph (4, 0)][DBLP]
    NACLP, 1989, pp:20-36 [Conf]
  11. Peter J. Stuckey, S. Sudarshan
    Compiling Query Constraints. [Citation Graph (3, 18)][DBLP]
    PODS, 1994, pp:56-67 [Conf]
  12. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Database System [Citation Graph (3, 27)][DBLP]
    VLDB J., 1994, v:3, n:2, pp:245-288 [Journal]
  13. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Output in CLP. [Citation Graph (2, 0)][DBLP]
    FGCS, 1992, pp:987-995 [Conf]
  14. Peter J. Stuckey, S. Sudarshan
    Well-Founded Ordered Search (Extended Abstract). [Citation Graph (2, 0)][DBLP]
    FSTTCS, 1993, pp:161-172 [Conf]
  15. David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
    ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. [Citation Graph (1, 0)][DBLP]
    DOOD, 1995, pp:91-108 [Conf]
  16. Peter J. Stuckey
    Constraint Search Tree. [Citation Graph (1, 0)][DBLP]
    ICLP, 1997, pp:301-315 [Conf]
  17. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    On Meta-Programming in CLR(R). [Citation Graph (1, 0)][DBLP]
    NACLP, 1989, pp:52-66 [Conf]
  18. Jayen Vaghani, David B. Kemp, Peter J. Stuckey
    An Introduction to Aditi Deductive Database System. [Citation Graph (1, 0)][DBLP]
    Australian Computer Journal, 1991, v:23, n:1, pp:37-52 [Journal]
  19. David B. Kemp, Divesh Srivastava, Peter J. Stuckey
    Bottom-Up Evaluation and Query Optimization of Well-Founded Models. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:146, n:1&2, pp:145-184 [Journal]
  20. Kenneth A. Ross, Divesh Srivastava, Peter J. Stuckey, S. Sudarshan
    Foundations of Aggregation Constraints. [Citation Graph (1, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:193, n:1-2, pp:149-179 [Journal]
  21. Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
    Reducing Search Space in Local Search for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    AAAI/IAAI, 2002, pp:28-33 [Conf]
  22. Lei Zheng, Peter J. Stuckey
    Improving SAT Using 2SAT. [Citation Graph (0, 0)][DBLP]
    ACSC, 2002, pp:331-340 [Conf]
  23. Inga Sitzmann, Peter J. Stuckey
    O-Trees: A Constraint-Based Index Structure. [Citation Graph (0, 0)][DBLP]
    Australasian Database Conference, 2000, pp:127-134 [Conf]
  24. Inga Sitzmann, Peter J. Stuckey
    Compacting Discriminator Information for Spatial Trees. [Citation Graph (0, 0)][DBLP]
    Australasian Database Conference, 2002, pp:- [Conf]
  25. Kanchana Kanchanasut, Peter J. Stuckey
    Eliminating Negation from Normal Logic Programs. [Citation Graph (0, 0)][DBLP]
    ALP, 1990, pp:217-231 [Conf]
  26. Kim Marriott, Peter J. Stuckey, Martin Sulzmann
    Resource Usage Verification. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:212-229 [Conf]
  27. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
    Type Processing by Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:1-25 [Conf]
  28. Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
    Principal Type Inference for GHC-Style Multi-parameter Type Classes. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:26-43 [Conf]
  29. 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. [Citation Graph (0, 0)][DBLP]
    ASIAN, 1996, pp:43-52 [Conf]
  30. Kim Marriott, Bernd Meyer, Peter J. Stuckey
    Towards Flexible Graphical Communication Using Adaptive Diagrams. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:380-394 [Conf]
  31. Chiu Wo Choi, Warwick Harvey, J. H. M. Lee, Peter J. Stuckey
    Finite Domain Bounds Consistency Revisited. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:49-58 [Conf]
  32. Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
    Set Bounds and (Split) Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2004, pp:706-717 [Conf]
  33. Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
    Model Checking in HAL. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1270-1284 [Conf]
  34. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    An Overview of HAL. [Citation Graph (0, 0)][DBLP]
    CP, 1999, pp:174-188 [Conf]
  35. Chi Kan Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
    Box Constraint Collections for Adhoc Constraints. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:214-228 [Conf]
  36. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    Propagation Redundancy in Redundant Modelling. [Citation Graph (0, 0)][DBLP]
    CP, 2003, pp:229-243 [Conf]
  37. Warwick Harvey, Peter J. Stuckey
    Constraint Representation for Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:235-249 [Conf]
  38. Warwick Harvey, Peter J. Stuckey, Alan Borning
    Compiling Constraint Solving using Projection. [Citation Graph (0, 0)][DBLP]
    CP, 1997, pp:491-505 [Conf]
  39. Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Harald Søndergaard, Peter J. Stuckey, Roland H. C. Yap
    An Optimizing Compiler for CLP(R). [Citation Graph (0, 0)][DBLP]
    CP, 1995, pp:222-239 [Conf]
  40. Vitaly Lagoon, Peter J. Stuckey
    Set Domain Propagation Using ROBDDs. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:347-361 [Conf]
  41. Kim Marriott, Peter Moulder, Peter J. Stuckey, Alan Borning
    Solving Disjunctive Constraints for Interactive Graphical Applications. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:361-376 [Conf]
  42. Christian Schulte, Peter J. Stuckey
    Speeding Up Constraint Propagation. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:619-633 [Conf]
  43. 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. [Citation Graph (0, 0)][DBLP]
    CP, 2005, pp:13-16 [Conf]
  44. Peter J. Stuckey, Lei Zheng
    Improving GSAT Using 2SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2002, pp:691-695 [Conf]
  45. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    The Aditi Deductive Datebase System. [Citation Graph (0, 0)][DBLP]
    Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:161- [Conf]
  46. Inga Sitzmann, Peter J. Stuckey
    Improving Temporal Joins Using Histograms. [Citation Graph (0, 0)][DBLP]
    DEXA, 2000, pp:488-498 [Conf]
  47. Michael Codish, Vitaly Lagoon, Peter Schachte, Peter J. Stuckey
    Size-Change Termination Analysis in k-Bits. [Citation Graph (0, 0)][DBLP]
    ESOP, 2006, pp:230-245 [Conf]
  48. Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
    Sound and Decidable Type Inference for Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:49-63 [Conf]
  49. Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey
    To the Gates of HAL: A HAL Tutorial. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2002, pp:47-66 [Conf]
  50. Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
    A Framework for Extended Algebraic Data Types. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:47-64 [Conf]
  51. Vitaly Lagoon, Peter J. Stuckey
    A Framework for Analysis of Typed Logic Programs. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:296-310 [Conf]
  52. Tim Dwyer, Kim Marriott, Peter J. Stuckey
    Fast Node Overlap Removal. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 2005, pp:153-164 [Conf]
  53. Michael Wybrow, Kim Marriott, Peter J. Stuckey
    Incremental Connector Routing. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 2005, pp:446-457 [Conf]
  54. Tim Dwyer, Kim Marriott, Peter J. Stuckey
    Fast Node Overlap Removal - Correction. [Citation Graph (0, 0)][DBLP]
    Graph Drawing, 2006, pp:446-447 [Conf]
  55. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Exception analysis for non-strict languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:98-109 [Conf]
  56. Peter J. Stuckey, Martin Sulzmann
    A theory of overloading. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:167-178 [Conf]
  57. Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur
    Building Constraint Solvers with HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:90-104 [Conf]
  58. Jennifer Burg, Peter J. Stuckey, Jason C. H. Tai, Roland H. C. Yap
    Linear Equation Solving for Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:33-47 [Conf]
  59. Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey
    Higher-Precision Groundness Analysis. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:135-149 [Conf]
  60. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
    Testing for Termination with Monotonicity Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:326-340 [Conf]
  61. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey
    Herbrand Constraint Solving in HAL. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:260-274 [Conf]
  62. Gregory J. Duck, Maria J. García de la Banda, Peter J. Stuckey
    Compiling Ask Constraints. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:105-119 [Conf]
  63. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
    ACD Term Rewriting. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:117-131 [Conf]
  64. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    The Refined Operational Semantics of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:90-104 [Conf]
  65. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:675-703 [Conf]
  66. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:797-811 [Conf]
  67. Christian Holzbaur, Maria J. García de la Banda, David Jeffery, Peter J. Stuckey
    Optimizing Compilation of Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2001, pp:74-89 [Conf]
  68. Joxan Jaffar, Peter J. Stuckey
    Logic Program Semantics for Programming with Equations. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:313-326 [Conf]
  69. Andrew D. Kelly, Andrew D. Macdonald, Kim Marriott, Peter J. Stuckey, Roland H. C. Yap
    Effectiveness of Optimizing Compilation for CLP(R). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:37-51 [Conf]
  70. Vitaly Lagoon, Frédéric Mesnard, Peter J. Stuckey
    Termination Analysis with Types Is More Accurate. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:254-268 [Conf]
  71. Kim Marriott, Peter J. Stuckey
    Semantics of Constraint Logic Programs with Optimization. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Integration of Declarative Paradigms, 1994, pp:23-35 [Conf]
  72. Germán Puebla, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Optimization of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:93-107 [Conf]
  73. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:9-13 [Conf]
  74. Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland
    Status of the Aditi Deductive Database System. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:851- [Conf]
  75. Peter J. Stuckey, Vincent Tam
    Extending EGENET with Lazy Constraint Consistency. [Citation Graph (0, 0)][DBLP]
    ICTAI, 1997, pp:248-0 [Conf]
  76. Peter J. Stuckey, Lei Zheng
    Improving Nogood Recording Using 2SAT. [Citation Graph (0, 0)][DBLP]
    ICTAI, 2003, pp:94-99 [Conf]
  77. Kenil C. K. Cheng, Jimmy Ho-Man Lee, Peter J. Stuckey
    Efficient Representation of Adhoc Constraints. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1368-1369 [Conf]
  78. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    Propagation Redundancy for Permutation Channels. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:1370-1371 [Conf]
  79. Peter J. Stuckey
    Constructive Negation for Constraint Logic Programming [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:328-339 [Conf]
  80. Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey
    Herbrand Constraints in HAL. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:499-538 [Conf]
  81. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  82. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
  83. 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. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  84. James Bailey, Peter J. Stuckey
    Discovery of Minimal Unsatisfiable Subsets of Constraints Using Hitting Set Dualization. [Citation Graph (0, 0)][DBLP]
    PADL, 2005, pp:174-186 [Conf]
  85. Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
    Adding Constraint Solving to Mercury. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:118-133 [Conf]
  86. Peter Hawkins, Peter J. Stuckey
    A Hybrid BDD and SAT Finite Domain Constraint Solver. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:103-117 [Conf]
  87. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Boolean Constraints for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:39-62 [Conf]
  88. Liam T. G. Merlot, Natashia Boland, Barry D. Hughes, Peter J. Stuckey
    A Hybrid Algorithm for the Examination Timetabling Problem. [Citation Graph (0, 0)][DBLP]
    PATAT, 2002, pp:207-231 [Conf]
  89. Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    An Abstract Machine for CLP(R). [Citation Graph (0, 0)][DBLP]
    PLDI, 1992, pp:128-139 [Conf]
  90. Pierre Lim, Peter J. Stuckey
    A Constraint Logic Programming Shell. [Citation Graph (0, 0)][DBLP]
    PLILP, 1990, pp:75-88 [Conf]
  91. Peter J. Stuckey, Vincent Tam
    Models for Using Stochastic Constraint Solvers in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:423-437 [Conf]
  92. Kim Marriott, Peter J. Stuckey
    The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering. [Citation Graph (0, 0)][DBLP]
    POPL, 1993, pp:334-344 [Conf]
  93. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Beyond Finite Domains. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:86-94 [Conf]
  94. Maria J. García de la Banda, Peter J. Stuckey, Jeremy Wazny
    Finding all minimal unsatisfiable subsets. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:32-43 [Conf]
  95. Vitaly Lagoon, Peter J. Stuckey
    Precise pair-sharing analysis of logic programs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:99-108 [Conf]
  96. Gregory J. Duck, Peter J. Stuckey, Maria J. García de la Banda, Christian Holzbaur
    Extending arbitrary solvers with constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2003, pp:79-90 [Conf]
  97. David Overton, Zoltan Somogyi, Peter J. Stuckey
    Constraint-based mode analysis of mercury. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:109-120 [Conf]
  98. Konstantinos F. Sagonas, Peter J. Stuckey
    Just enough tabling. [Citation Graph (0, 0)][DBLP]
    PPDP, 2004, pp:78-89 [Conf]
  99. Tom Schrijvers, Peter J. Stuckey, Gregory J. Duck
    Abstract interpretation for constraint handling rules. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:218-229 [Conf]
  100. Christian Schulte, Peter J. Stuckey
    When Do Bounds and Domain Propagation Lead to the Same Search Space? [Citation Graph (0, 0)][DBLP]
    PPDP, 2001, pp:115-126 [Conf]
  101. Zoltan Somogyi, Peter J. Stuckey
    Using the heap to eliminate stack accesses. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:121-132 [Conf]
  102. Rafiq Muhammad, Peter J. Stuckey
    A Stochastic Non-CNF SAT Solver. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2006, pp:120-129 [Conf]
  103. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
    Solving Partial Order Constraints for LPO Termination. [Citation Graph (0, 0)][DBLP]
    RTA, 2006, pp:4-18 [Conf]
  104. Kathryn Francis, Peter J. Stuckey
    Constraint propagation for loose constraint graphs. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:334-335 [Conf]
  105. Thibaut Feydy, Peter J. Stuckey
    Propagating dense systems of integer linear equations. [Citation Graph (0, 0)][DBLP]
    SAC, 2007, pp:306-310 [Conf]
  106. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
    Effective Strictness Analysis with HORN Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:73-92 [Conf]
  107. Andrew D. Kelly, Kim Marriott, Harald Søndergaard, Peter J. Stuckey
    Two Applications of an Incremental Analysis Engine for (Constraint) Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:385-386 [Conf]
  108. Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey
    Efficient Analysis of Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:417-431 [Conf]
  109. Pierre Lim, Peter J. Stuckey
    Meta Programming as Constraint Programming. [Citation Graph (0, 0)][DBLP]
    NACLP, 1990, pp:416-430 [Conf]
  110. Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
    Redundancy of Variables in CLP (R). [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:75-93 [Conf]
  111. Kim Marriott, Peter J. Stuckey
    Approximating Interaction between Linear Arithmetic Constraints. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:571-585 [Conf]
  112. Kenneth A. Ross, Inga Sitzmann, Peter J. Stuckey
    Cost-based Unbalanced R-Trees. [Citation Graph (0, 0)][DBLP]
    SSDBM, 2001, pp:203-212 [Conf]
  113. Greg J. Badros, Alan Borning, Kim Marriott, Peter J. Stuckey
    Constraint Cascading Style Sheets for the Web. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on User Interface Software and Technology, 1999, pp:73-82 [Conf]
  114. Alan Borning, Kim Marriott, Peter J. Stuckey, Yi Xiao
    Solving Linear Arithmetic Constraints for User Interface Applications. [Citation Graph (0, 0)][DBLP]
    ACM Symposium on User Interface Software and Technology, 1997, pp:87-96 [Conf]
  115. John N. Crossley, Pierre Lim, Peter J. Stuckey
    Interface Logic Programming. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1989, v:21, n:2, pp:49-55 [Journal]
  116. Kenneth M. F. Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    A Lagrangian reconstruction of GENET. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2000, v:123, n:1-2, pp:1-39 [Journal]
  117. Michael J. Maher, Peter J. Stuckey
    On Inductive Inference of Cyclic Structures. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1995, v:15, n:2, pp:167-208 [Journal]
  118. Warwick Harvey, Peter J. Stuckey
    Improving Linear Constraint Propagation by Changing Constraint Representation. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:2, pp:173-207 [Journal]
  119. Warwick Harvey, Peter J. Stuckey, Alan Borning
    Fourier Elimination for Compiling Constraint Hierarchies. [Citation Graph (0, 0)][DBLP]
    Constraints, 2002, v:7, n:2, pp:199-219 [Journal]
  120. Kim Marriott, Peter J. Stuckey, Vincent Tam, Weiqing He
    Removing Node Overlapping in Graph Layout Using Constrained Optimization. [Citation Graph (0, 0)][DBLP]
    Constraints, 2003, v:8, n:2, pp:143-171 [Journal]
  121. Raghu Ramakrishnan, Peter J. Stuckey
    Introduction to the Special Issue on Constraints and Databases. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:3/4, pp:243- [Journal]
  122. Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
    Type Classes and Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  123. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
    The Chameleon Type Debugger (Tool Demonstration) [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  124. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  125. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  126. Tom Schrijvers, Bart Demoen, Gregory J. Duck, Peter J. Stuckey, Thom W. Frühwirth
    Automatic Implication Checking for CHR Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:93-111 [Journal]
  127. Peter J. Stuckey
    Negation and Constraint Logic Programming [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:118, n:1, pp:12-33 [Journal]
  128. Peter J. Stuckey, Vincent Tam
    Improving Evolutionary Algorithms for Efficient Constraint Satisfaction. [Citation Graph (0, 0)][DBLP]
    International Journal on Artificial Intelligence Tools, 1999, v:8, n:4, pp:363-384 [Journal]
  129. Bruce Davey, Natashia Boland, Peter J. Stuckey
    Efficient Intelligent Backtracking Using Linear Programming. [Citation Graph (0, 0)][DBLP]
    INFORMS Journal on Computing, 2002, v:14, n:4, pp:373-386 [Journal]
  130. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey
    CLP(R) and Some Electrical Engineering Problems. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1992, v:9, n:2, pp:231-260 [Journal]
  131. Arun Siddharth Konagurthu, James C. Whisstock, Peter J. Stuckey
    Progressive Multiple Alignment Using Sequence Triplet Optimizations and Three-residue Exchange Costs. [Citation Graph (0, 0)][DBLP]
    J. Bioinformatics and Computational Biology, 2004, v:2, n:4, pp:719-746 [Journal]
  132. Peter J. Stuckey, Vincent Tam
    Semantics for using Stochastic Constraint Solvers in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1998, v:1998, n:2, pp:- [Journal]
  133. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
    Understanding functional dependencies via constraint handling rules. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2007, v:17, n:1, pp:83-129 [Journal]
  134. Kim Marriott, Peter J. Stuckey
    NP-Completeness of Minimal Width Unordered Tree Layout. [Citation Graph (0, 0)][DBLP]
    J. Graph Algorithms Appl., 2004, v:8, n:2, pp:295-312 [Journal]
  135. Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey, Harald Søndergaard
    Differential Methods in Logic Program Analysis. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:35, n:1, pp:1-37 [Journal]
  136. Nevin Heintze, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
    Meta-Programming in CLP(R). [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:33, n:3, pp:221-259 [Journal]
  137. Joxan Jaffar, Michael J. Maher, Kim Marriott, Peter J. Stuckey
    The Semantics of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1998, v:37, n:1-3, pp:1-46 [Journal]
  138. Joxan Jaffar, Peter J. Stuckey
    Canonical Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1986, v:3, n:2, pp:143-155 [Journal]
  139. David B. Kemp, Peter J. Stuckey
    Optimizing Bottom-Up Evaluation of Constraint Queries. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1996, v:26, n:1, pp:1-30 [Journal]
  140. Peter J. Stuckey, S. Sudarshan
    Well-Founded Ordered Search: Goal-Directed Bottom-Up Evaluation of Well-Founded Models. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:3, pp:171-205 [Journal]
  141. David B. Kemp, Kotagiri Ramamohanarao, Peter J. Stuckey
    An Efficient Evaluation Technique for Non-Stratified Programs by Transformation to Explicitly Locally Stratified Programs. [Citation Graph (0, 0)][DBLP]
    Journal of Systems Integration, 1997, v:7, n:3/4, pp:191-230 [Journal]
  142. Kim Marriott, Peter J. Stuckey
    Semantics of Constraint Logic Programs with Optimization. [Citation Graph (0, 0)][DBLP]
    LOPLAS, 1993, v:2, n:1-4, pp:197-212 [Journal]
  143. Joxan Jaffar, Michael J. Maher, Peter J. Stuckey, Roland H. C. Yap
    Projecting CLP (R) Constraints. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:449-469 [Journal]
  144. Kim Marriott, Peter J. Stuckey
    Book reviews. [Citation Graph (0, 0)][DBLP]
    Intelligence, 1999, v:10, n:2, pp:39-47 [Journal]
  145. Kim Marriott, Harald Søndergaard, Peter J. Stuckey
    A Practical Object-Oriented Analysis Engine for CLP. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1998, v:28, n:2, pp:199-224 [Journal]
  146. Joxan Jaffar, Peter J. Stuckey
    Semantics of Infinite Tree Logic Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:46, n:3, pp:141-158 [Journal]
  147. Kanchana Kanchanasut, Peter J. Stuckey
    Transforming Normal Logic Programs to Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:105, n:1, pp:27-56 [Journal]
  148. Steve Barker, Peter J. Stuckey
    Flexible access control policy specification with constraint logic programming. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Inf. Syst. Secur., 2003, v:6, n:4, pp:501-546 [Journal]
  149. Greg J. Badros, Alan Borning, Peter J. Stuckey
    The Cassowary linear arithmetic constraint solving algorithm. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput.-Hum. Interact., 2001, v:8, n:4, pp:267-306 [Journal]
  150. Michael Codish, Harald Søndergaard, Peter J. Stuckey
    Sharing and groundness dependencies in logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:5, pp:948-976 [Journal]
  151. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental analysis of constraint logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:187-223 [Journal]
  152. Andrew D. Kelly, Kim Marriott, Andrew D. Macdonald, Peter J. Stuckey, Roland H. C. Yap
    Optimizing Compilation of CLP(R). [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:6, pp:1223-1250 [Journal]
  153. Christian Schulte, Peter J. Stuckey
    When do bounds and domain propagation lead to the same search space? [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:3, pp:388-425 [Journal]
  154. Peter J. Stuckey, Martin Sulzmann
    A theory of overloading. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:6, pp:1216-1269 [Journal]
  155. Maria J. García de la Banda, Warwick Harvey, Kim Marriott, Peter J. Stuckey, Bart Demoen
    Checking modes of HAL progams. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:6, pp:623-668 [Journal]
  156. Christian Holzbaur, Maria J. García de la Banda, Peter J. Stuckey, Gregory J. Duck
    Optimizing compilation of constraint handling rules in HAL. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:503-531 [Journal]
  157. Tom Schrijvers, Bart Demoen, Maria J. García de la Banda, Peter J. Stuckey
    Improving PARMA trailing. [Citation Graph (0, 0)][DBLP]
    TPLP, 2006, v:6, n:6, pp:609-644 [Journal]
  158. Peter J. Stuckey, Vincent Tam
    Extending GENET with lazy arc consistency. [Citation Graph (0, 0)][DBLP]
    IEEE Transactions on Systems, Man, and Cybernetics, Part A, 1998, v:28, n:5, pp:698-703 [Journal]
  159. Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey
    Flexible Graph Layout for the Web. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2002, v:13, n:1, pp:35-60 [Journal]
  160. Sebastian Brand, Nina Narodytska, Claude-Guy Quimper, Peter J. Stuckey, Toby Walsh
    Encodings of the Sequence Constraint. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:210-224 [Conf]
  161. Olga Ohrimenko, Peter J. Stuckey, Michael Codish
    Propagation = Lazy Clause Generation. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:544-558 [Conf]
  162. Nicholas Nethercote, Peter J. Stuckey, Ralph Becket, Sebastian Brand, Gregory J. Duck, Guido Tack
    MiniZinc: Towards a Standard CP Modelling Language. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:529-543 [Conf]
  163. Davaatseren Baatar, Natashia Boland, Sebastian Brand, Peter J. Stuckey
    Minimum Cardinality Matrix Decomposition into Consecutive-Ones Matrices: CP and IP Approaches. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2007, pp:1-15 [Conf]
  164. Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
    Observable Confluence for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:224-239 [Conf]
  165. Michael Codish, Vitaly Lagoon, Peter J. Stuckey
    Logic Programming with Satisfiability [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  166. Christian Schulte, Peter J. Stuckey
    Efficient constraint propagation engines [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  167. Hai Fang, Y. Kilani, Jimmy Ho-Man Lee, Peter J. Stuckey
    Islands for SAT [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  168. Gregory J. Duck, Peter J. Stuckey, Sebastian Brand
    ACD Term Rewriting [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]
  169. Andreas Schutt, Peter J. Stuckey
    Incremental Satisfiability and Implication for UTVPI Constraints [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  170. Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee, Peter J. Stuckey
    Finite Domain Bounds Consistency Revisited [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  171. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    Removing Propagation Redundant Constraints in Redundant Modeling [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  172. Peter Hawkins, Vitaly Lagoon, Peter J. Stuckey
    Solving Set Constraint Satisfaction Problems using ROBDDs. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2005, v:24, n:, pp:109-156 [Journal]
  173. Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
    Removing propagation redundant constraints in redundant modeling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2007, v:8, n:4, pp:- [Journal]

  174. The Core Concept for 0/1 Integer Programming. [Citation Graph (, )][DBLP]


  175. Modelling for Lazy Clause Generation. [Citation Graph (, )][DBLP]


  176. Minimizing the Maximum Number of Open Stacks by Customer Search. [Citation Graph (, )][DBLP]


  177. Confidence-Based Work Stealing in Parallel Constraint Programming. [Citation Graph (, )][DBLP]


  178. Using Relaxations in Maximum Density Still Life. [Citation Graph (, )][DBLP]


  179. The Proper Treatment of Undefinedness in Constraint Languages. [Citation Graph (, )][DBLP]


  180. Maintaining State in Propagation Solvers. [Citation Graph (, )][DBLP]


  181. Lazy Clause Generation Reengineered. [Citation Graph (, )][DBLP]


  182. Why Cumulative Decomposition Is Not as Bad as It Sounds. [Citation Graph (, )][DBLP]


  183. From High-Level Model to Branch-and-Price Solution in G12. [Citation Graph (, )][DBLP]


  184. Automatically Exploiting Subproblem Equivalence in Constraint Programming. [Citation Graph (, )][DBLP]


  185. Rapid Learning for Binary Programs. [Citation Graph (, )][DBLP]


  186. Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving. [Citation Graph (, )][DBLP]


  187. Smooth Linear Approximation of Non-overlap Constraints. [Citation Graph (, )][DBLP]


  188. Fast Set Bounds Propagation using BDDs. [Citation Graph (, )][DBLP]


  189. Optimizing Compilation of CHR with Rule Priorities. [Citation Graph (, )][DBLP]


  190. Orthogonal Connector Routing. [Citation Graph (, )][DBLP]


  191. Practical Preference Relations for Large Data Sets. [Citation Graph (, )][DBLP]


  192. Dynamic Analysis of Bounds Versus Domain Propagation. [Citation Graph (, )][DBLP]


  193. Cadmium: An Implementation of ACD Term Rewriting. [Citation Graph (, )][DBLP]


  194. Telecommunications Feature Subscription as a Partial Order Constraint Problem. [Citation Graph (, )][DBLP]


  195. Demand-Driven Normalisation for ACD Term Rewriting. [Citation Graph (, )][DBLP]


  196. Flexible, Rule-Based Constraint Model Linearisation. [Citation Graph (, )][DBLP]


  197. Automating branch-and-bound for dynamic programs. [Citation Graph (, )][DBLP]


  198. A declarative encoding of telecommunications feature subscription in SAT. [Citation Graph (, )][DBLP]


  199. Global difference constraint propagation for finite domain solvers. [Citation Graph (, )][DBLP]


  200. Dynamic variable elimination during propagation solving. [Citation Graph (, )][DBLP]


  201. Low-contact learning in a first year programming course. [Citation Graph (, )][DBLP]


  202. Structural search and retrieval using a tableau representation of protein folding patterns. [Citation Graph (, )][DBLP]


  203. MIRAGAA - a methodology for finding coordinated effects of microRNA expression changes and genome aberrations in cancer. [Citation Graph (, )][DBLP]


  204. Tableau-based protein substructure search using quadratic programming. [Citation Graph (, )][DBLP]


  205. The Design of the Zinc Modelling Language. [Citation Graph (, )][DBLP]


  206. Propagation via lazy clause generation. [Citation Graph (, )][DBLP]


  207. Propagating systems of dense linear integer constraints. [Citation Graph (, )][DBLP]


  208. New integer linear programming approaches for course timetabling. [Citation Graph (, )][DBLP]


  209. Improving PARMA Trailing [Citation Graph (, )][DBLP]


  210. Improved Inference for Checking Annotations [Citation Graph (, )][DBLP]


  211. Type Inference for Guarded Recursive Data Types [Citation Graph (, )][DBLP]


  212. Solving Partial Order Constraints for LPO Termination [Citation Graph (, )][DBLP]


Search in 0.087secs, Finished in 0.094secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002