Peter Stuckey

View Scopus Profile

Peter Stuckey

Professor

 https://orcid.org/0000-0003-2186-0459

Accepting PhD Students

PhD projects

Development of high performance discrete optimization solving technology
Development of high-level modelling languages for discrete optimization
Multi-agent path finding problems and extensions
Hybrid approaches to solving discrete optimization

1986 …2025

Research activity per year

Filter
Conference Paper

Search results

  • 2009

    The proper treatment of undefinedness in constraint languages

    Frisch, A. M. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 367-382 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5732 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    15 Citations (Scopus)

  • Using relaxations in maximum density still life

    Chu, G., Stuckey, P. J. & Garcia De La Banda, M. J., 2009, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 258 - 273 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    6 Citations (Scopus)

  • Why cumulative decomposition is not as bad as it sounds

    Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 2009, Proceedings of the 15th International Conference on the Principles and Practice of Constraint Programming. Gent, I. P. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 746 - 761 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    44 Citations (Scopus)
  • 2008

    Automating branch-and-bound for dynamic programs

    Puchinger, J. & Stuckey, P. J., 1 Dec 2008, PEPM'08 - Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. p. 81-89 9 p. (Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    9 Citations (Scopus)

  • Cadmium: An implementation of ACD term rewriting

    Duck, G. J., De Koninck, L. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 531-545 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    13 Citations (Scopus)

  • Dynamic analysis of bounds versus domain propagation

    Schulte, C. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 332-346 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Dynamic variable elimination during propagation solving

    Schulte, C. & Stuckey, P. J., 17 Dec 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 247-257 11 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Fast set bounds propagation using BDDs

    Gange, G., Lagoon, V. & Stuckey, P. J., 1 Jan 2008, Frontiers in Artificial Intelligence and Applications. IOS Press, p. 505-509 5 p. (Frontiers in Artificial Intelligence and Applications; vol. 178).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    4 Citations (Scopus)

  • From high-level model to branch-and-price solution in G12

    Puchinger, J., Stuckey, P. J., Wallace, M. & Brand, S., 2008, Proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008). Perron, L. & Trick, M. A. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5015. p. 218 - 232 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    10 Citations (Scopus)

  • Global difference constraint propagation for finite domain solvers

    Feydy, T., Schutt, A. & Stuckey, P. J., 17 Dec 2008, PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. p. 226-235 10 p. (PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    15 Citations (Scopus)

  • Modelling for lazy clause generation

    Ohrimenko, O. & Stuckey, P. J., 1 Dec 2008, Theory of Computing 2008 - Proceedings of the Fourteenth Computing: The Australasian Theory Symposium, CATS 2008. (Conferences in Research and Practice in Information Technology Series; vol. 77).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Optimizing compilation of CHR with rule priorities

    De Koninck, L., Stuckey, P. J. & Duck, G. J., 14 May 2008, Functional and Logic Programming - 9th International Symposium, FLOPS 2008, Proceedings. p. 32-47 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4989 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    7 Citations (Scopus)

  • Smooth linear approximation of non-overlap constraints

    Gange, G., Marriott, K. G. & Stuckey, P. J., 2008, Proceedings of the 5th International Conference on Diagrammatic Representation and Interface (Diagrams 2008). Stapleton, G., Howse, J. & Lee, J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5223. p. 45 - 59 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    3 Citations (Scopus)

  • Telecommunications feature subscription as a partial order constraint problem

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Dec 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. p. 749-753 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • The core concept for 0/1 integer programming

    Huston, S., Puchinger, J. & Stuckey, P., 1 Dec 2008, Theory of Computing 2008 - Proceedings of the Fourteenth Computing: The Australasian Theory Symposium, CATS 2008. (Conferences in Research and Practice in Information Technology Series; vol. 77).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)
  • 2007

    Constraint propagation for loose constraint graphs

    Francis, K. & Stuckey, P. J., 18 Oct 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 334-335 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Encodings of the SEQUENCE constraint

    Brand, S., Narodytska, N., Quimper, C. G., Stuckey, P. & Walsh, T., 1 Dec 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. p. 210-224 15 p. (Lecture Notes in Computer Science; vol. 4741 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    38 Citations (Scopus)

  • Fast node overlap removal - Correction

    Dwyer, T., Marriott, K. & Stuckey, P. J., 1 Dec 2007, Graph Drawing - 14th International Symposium, GD 2006, Revised Papers. Springer, p. 446-447 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4372 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Other › peer-review

    14 Citations (Scopus)

  • Flexible, rule-based constraint model linearisation

    Brand, S., Duck, G. J., Puchinger, J. & Stuckey, P. J., 1 Dec 2007, Practical Aspects of Declarative Languages - 10th International Symposium, PADL 2008, Proceedings. p. 68-83 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4902 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    9 Citations (Scopus)

  • Minimum cardinality matrix decomposition into consecutive-ones matrices: CP and IP approaches

    Baatar, D., Boland, N., Brand, S. & Stuckey, P. J., 20 Dec 2007, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 4th International Conference, CPAIOR 2007, Proceedings. p. 1-15 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4510 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    28 Citations (Scopus)

  • MiniZinc: Towards a standard CP modelling language

    Nethercote, N., Stuckey, P. J., Becket, R., Brand, S., Duck, G. J. & Tack, G., 2007, Proceedings of the 13th International Conference on the Principles and Practice of Constraint Programming. Bessiere, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 529 - 543 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    655 Citations (Scopus)

  • Observable confluence for constraint handling rules

    Duck, G. J., Stuckey, P. J. & Sulzmann, M., 1 Dec 2007, Logic Programming - 23rd International Conference, ICLP 2007, Proceedings. p. 224-239 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4670 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    24 Citations (Scopus)

  • Practical preference relations for large data sets

    Ross, K. A., Stuckey, P. J. & Marian, A., 1 Dec 2007, Workshops in Conjunction with the International Conference on Data Engineering - ICDE' 07. IEEE, Institute of Electrical and Electronics Engineers, p. 229-236 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Propagating dense systems of integer linear equations

    Feydy, T. & Stuckey, P. J., 18 Oct 2007, Proceedings of the 2007 ACM Symposium on Applied Computing. p. 306-310 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    1 Citation (Scopus)

  • Propagation = Lazy clause generation

    Ohrimenko, O., Stuckey, P. J. & Codish, M., 1 Dec 2007, Principles and Practice of Constraint Programming - CP 2007 - 13th International Conference, CP 2007, Proceedings. p. 544-558 15 p. (Lecture Notes in Computer Science; vol. 4741 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    47 Citations (Scopus)
  • 2006

    ACD term rewriting

    Duck, G. J., Stuckey, P. J. & Brand, S., 1 Jan 2006, Logic Programming - 22nd International Conference, ICLP 2006, Proceedings. Springer, p. 117-131 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4079 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    19 Citations (Scopus)

  • Adding constraint solving to Mercury

    Becket, R., Garcia De La Banda, M. J., Marriott, K. G., Somogyi, Z., Stuckey, P. J. & Wallace, M., 2006, Proceedings of the 8th International Symposium on Practical Aspects of Declarative Languages (PADL 2006). Van Hentenryck, P. (ed.). Germany: Springer-Verlag London Ltd., Vol. 3819. p. 118 - 133 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • A framework for extended algebraic data types

    Sulzmann, M., Wazny, J. & Stuckey, P. J., 17 Jul 2006, Functional and Logic Programming: 8th International Symposium, FLOPS 2006, Proceedings. p. 47-64 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3945 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    12 Citations (Scopus)

  • A stochastic non-CNF SAT solver

    Muhammad, R. & Stuckey, P. J., 1 Jan 2006, PRICAI 2006: Trends in Artificial Intelligence - 9th Pacific Rim International Conference on Artificial Intelligence, Proceedings. Springer, p. 120-129 10 p. (Lecture Notes in Computer Science; vol. 4099).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    14 Citations (Scopus)

  • Fast node overlap removal

    Dwyer, T. G., Marriott, K. G. & Stuckey, P. J., 2006, Proceedings of the 13th International Symposium on Graph Drawing (GD 2005). Healy, P. & Nikolov, N. S. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3843. p. 153 - 164 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    99 Citations (Scopus)

  • Finite domain bounds consistency revisited

    Choi, C. W., Harvey, W., Lee, J. H. M. & Stuckey, P. J., 1 Dec 2006, AI 2006: Advances in Artificial Intelligence - 19th Australian Joint Conference on Artificial Intelligence, Proceedings. Springer, p. 49-58 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    44 Citations (Scopus)

  • Incremental connector routing

    Wybrow, M. J., Marriott, K. G. & Stuckey, P. J., 2006, Proceedings of the 13th International Symposium on Graph Drawing (GD 2005). Healy, P. & Nikolov, N. S. (eds.). Germany: Springer-Verlag London Ltd., Vol. 3843. p. 446 - 457 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    21 Citations (Scopus)

  • Principal type inference for GHC-style multi-parameter type classes

    Sulzmann, M., Schrijvers, T. & Stuckey, P. J., 1 Dec 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. p. 26-43 18 p. (Lecture Notes in Computer Science; vol. 4279).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    6 Citations (Scopus)

  • Realizing the e-science desktop peer using a peer-to-peer distributed virtual machine middleware

    Ni, L., Harwood, A. & Stuckey, P. J., 1 Dec 2006, ACM International Conference Proceeding Series - Proceedings of the 4th International Workshop on Middleware for Grid Computing (MGC'06) held at the ACM/IFIP/USENIX International Middleware Conference. 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    2 Citations (Scopus)

  • Size-change termination analysis in k-bits

    Codish, M., Lagoon, V., Schachte, P. & Stuckey, P. J., 14 Jul 2006, Programming Languages and Systems - 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Proceedings. p. 230-245 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3924 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • Solving partial order constraints for LPO termination

    Codish, M., Lagoon, V. & Stuckey, P. J., 1 Jan 2006, Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. Springer, p. 4-18 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4098 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    21 Citations (Scopus)

  • Type processing by constraint reasoning

    Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Jan 2006, Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings. Springer, p. 1-25 25 p. (Lecture Notes in Computer Science; vol. 4279).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    14 Citations (Scopus)
  • 2005

    Abstract interpretation for constraint handling rules

    Schrijvers, T., Stuckey, P. J. & Duck, G. J., 1 Dec 2005, PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming. p. 218-229 12 p. (PPDP'05 - Proceedings of the Seventh ACM SIGPLAN Conference on Principles and Practice of Declarative Programming; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    16 Citations (Scopus)

  • A hybrid BDD and SAT finite domain constraint solver

    Hawkins, P. & Stuckey, P. J., 1 Dec 2005, Practical Aspects of Declarative Languages - 8th International Symposium, PADL 2006, Proceedings. p. 103-117 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3819 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    10 Citations (Scopus)

  • Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization

    Bailey, J. & Stuckey, P. J., 1 Sept 2005, Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005 Long Beach, CA, USA, January 10-11, 2005 Proceedings. Hermenegildo, M. & Cabeza, D. (eds.). Berlin Germany: Springer, p. 174-186 13 p. (Lecture Notes in Computer Science; vol. 3350).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    161 Citations (Scopus)

  • Testing for termination with monotonicity constraints

    Codish, M., Lagoon, V. & Stuckey, P. J., 31 Oct 2005, Logic Programming: 21st International Conference, ICLP 2005 Sitges, Spain, October 2-5, 2005 Proceedings. Gabbrielli, M. & Gupta, G. (eds.). Berlin Germany: Springer, p. 326-340 15 p. (Lecture Notes in Computer Science; vol. 3668).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    37 Citations (Scopus)

  • The G12 project: mapping solver independent models to efficient solutions

    Stuckey, P. J., Garcia De La Banda, M. J., Maher, M., Marriott, K. G., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 2005, Principles and Practice of Constraint Programming - CP 2005: 11th International Conference, CP 2005 Sitges, Spain, October 1-5, 2005 Proceedings. van Beek, P. (ed.). Berlin Germany: Springer, p. 13-16 4 p. (Lecture Notes in Computer Science; vol. 3709).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    14 Citations (Scopus)

  • The G12 project: Mapping solver independent models to efficient solutions

    Stuckey, P. J., De La Banda, M. G., Maher, M., Marriott, K., Slaney, J., Somogyi, Z., Wallace, M. & Walsh, T., 31 Oct 2005, Logic Programming: 21st International Conference, ICLP 2005 Sitges, Spain, October 2-5, 2005 Proceedings. Gabbrielli, M. & Gupta, G. (eds.). Berlin Germany: Springer, p. 9-13 5 p. (Lecture Notes in Computer Science; vol. 3668).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    21 Citations (Scopus)
  • 2004

    Compiling Ask Constraints

    Duck, G. J., Garcia De La Banda, M. J. & Stuckey, P. J., 2004, Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). Demoen, B. & Lifschitz, V. (eds.). Berlin Germany: Springer, p. 105 - 119 15 p. (Lecture Notes in Computer Science; vol. 3132).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    5 Citations (Scopus)

  • Improving type error diagnosis

    Stuckey, P. J., Sulzmann, M. & Wazny, J., 1 Dec 2004, Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04. p. 80-91 12 p. (Proceedings of the ACM SIGPLAN 2004 Haskell Workshop, Haskell'04).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    29 Citations (Scopus)

  • Just enough tabling

    Sagonas, K. & Stuckey, P. J., 1 Dec 2004, Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04. p. 78-89 12 p. (Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    8 Citations (Scopus)

  • Set bounds and (Split) set domain propagation using ROBDDs

    Hawkins, P., Lagoon, V. & Stuckey, P. J., 1 Dec 2004, AI 2004: Advances in Artificial Intelligence: 17th Australian Joint Conference on Artificial Intelligence Cairns, Australia, December 4-6, 2004 Proceedings. Webb, G. I. & Yu, X. (eds.). Berlin Germany: Springer, p. 706-717 12 p. (Lecture Notes in Artificial Intelligence; vol. 3339).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    6 Citations (Scopus)

  • Set domain propagation using ROBDDs

    Lagoon, V. & Stuckey, P. J., 1 Dec 2004, Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004 Toronto, Canada, September 27 - October 1, 2004 Proceedings. Wallace, M. (ed.). Berlin Germany: Springer, p. 347-361 15 p. (Lecture Notes in Computer Science; vol. 3258).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    15 Citations (Scopus)

  • Sound and decidable type inference for functional dependencies

    Duck, G. J., Peyton-Jones, S., Stuckey, P. J. & Sulzmann, M., 1 Dec 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 – April 2, 2004 Proceedings. Schmidt, D. (ed.). Berlin Germany: Springer, p. 49-63 15 p. (Lecture Notes in Computer Science; vol. 2986).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    14 Citations (Scopus)

  • Speeding up constraint propagation

    Schulte, C. & Stuckey, P. J., 1 Dec 2004, Principles and Practice of Constraint Programming – CP 2004: 10th International Conference, CP 2004 Toronto, Canada, September 27 - October 1, 2004 Proceedings. Wallace, M. (ed.). Berlin Germany: Springer, p. 619-633 15 p. (Lecture Notes in Computer Science; vol. 3258).

    Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

    35 Citations (Scopus)