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

  • 2013

    Explaining propagators for edge-valued decision diagrams

    Gange, G., Stuckey, P. J. & Van Hentenryck, P., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 340-355 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

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

    12 Citations (Scopus)

  • Explaining time-table-edge-finding propagation for the cumulative resource constraint

    Schutt, A., Feydy, T. & Stuckey, P. J., 1 Dec 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 10th International Conference, CPAIOR 2013, Proceedings. Springer, p. 234-250 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7874 LNCS).

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

    37 Citations (Scopus)

  • Finite type extensions in constraint programming

    Caballero, R., Stuckey, P. J. & Tenorio-Fornés, A., 15 Oct 2013, Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013. p. 217-227 11 p. (Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013).

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

    1 Citation (Scopus)

  • Inductive definitions in constraint programming

    Aziz, R. A., Stuckey, P. J. & Somogyi, Z., 1 Jan 2013, Computer Science 2013 - Proceedings of the 36th Australasian Computer Science Conference, ACSC 2013. Thomas, B. (ed.). Australian Computer Society Inc, p. 41-50 10 p. (Conferences in Research and Practice in Information Technology Series; vol. 135).

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

    1 Citation (Scopus)

  • MiniZinc with functions

    Stuckey, P. J. & Tack, G., 2013, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 10th International Conference, Proceedings. Gomes, C. & Sellmann, M. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 268 - 283 16 p.

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

    23 Citations (Scopus)

  • Modelling destructive assignments

    Francis, K., Navas, J. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 315-330 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

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

    2 Citations (Scopus)

  • Scheduling optional tasks with explanation

    Schutt, A., Feydy, T. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 628-644 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

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

    12 Citations (Scopus)

  • Solving difference constraints over modular arithmetic

    Gange, G., Søndergaard, H., Stuckey, P. J. & Schachte, P., 15 Jul 2013, CADE 2013 - 24th International Conference on Automated Deduction, Proceedings. Springer, p. 215-230 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7898 LNAI).

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

    4 Citations (Scopus)

  • Statistical inference of protein 'LEGO bricks'

    Konagurthu, A. S., Allison, L., Abramson, D. A., Stuckey, P. J. & Lesk, A. M., 2013, Proceedings, IEEE 13th International Conference on Data Mining. Xiong, H., Karypis, G., Thuraisingham, B., Cook, D. & Wu, X. (eds.). Los Alamitos CA USA: IEEE, Institute of Electrical and Electronics Engineers, p. 1091 - 1096 6 p.

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

    1 Citation (Scopus)

  • There are no CNF problems

    Stuckey, P. J., 15 Jul 2013, Theory and Applications of Satisfiability Testing, SAT 2013 - 16th International Conference, Proceedings. Springer, p. 19-21 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7962 LNCS).

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

    8 Citations (Scopus)

  • Those who cannot remember the past are condemned to repeat it

    Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 5-6 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

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

  • To encode or to propagate? The best choice for each constraint in SAT

    Abío, I., Nieuwenhuis, R., Oliveras, A., Rodríguez-Carbonell, E. & Stuckey, P. J., 22 Oct 2013, Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Proceedings. Springer, p. 97-106 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8124 LNCS).

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

    12 Citations (Scopus)

  • Unbounded model-checking with interpolation for regular language constraints

    Gange, G., Navas, J. A., Stuckey, P. J., Søndergaard, H. & Schachte, P., 5 Mar 2013, Tools and Algorithms for the Construction and Analysis of Systems - 19th Int. Conf., TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proc.. Springer, p. 277-291 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7795 LNCS).

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

    19 Citations (Scopus)
  • 2012

    A general implementation framework for tabled CLP

    Chico De Guzmán, P., Carro, M., Hermenegildo, M. V. & Stuckey, P., 6 Jun 2012, Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Proceedings. Springer, p. 104-119 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7294 LNCS).

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

    9 Citations (Scopus)

  • A generic method for identifying and exploiting dominance relations

    Chu, G. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

    13 Citations (Scopus)

  • Conflict directed lazy decomposition

    Abío, I. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 70-85 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

    14 Citations (Scopus)

  • Explaining alldifferent

    Downing, N., Feydy, T. & Stuckey, P. J., 16 Nov 2012, Computer Science 2012 - Proceedings of the 35th Australasian Computer Science Conference, ACSC 2012. p. 115-124 10 p. (Conferences in Research and Practice in Information Technology Series; vol. 122).

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

    6 Citations (Scopus)

  • Explaining flow-based propagation

    Downing, N., Feydy, T. & Stuckey, P. J., 29 May 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 9th International Conference, CPAIOR 2012, Proceedings. Springer, p. 146-162 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7298 LNCS).

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

    7 Citations (Scopus)

  • Explaining propagators for s-DNNF circuits

    Gange, G. & Stuckey, P. J., 29 May 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 9th International Conference, CPAIOR 2012, Proceedings. Springer, p. 195-210 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7298 LNCS).

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

    9 Citations (Scopus)

  • Inter-instance nogood learning in constraint programming

    Chu, G. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 238-247 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

    3 Citations (Scopus)

  • Lazy model expansion by incremental grounding

    De Cat, B., Denecker, M. & Stuckey, P., 1 Dec 2012, Technical Communications of the 28th International Conference on Logic Programming, ICLP 2012. p. 201-211 11 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 17).

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

    9 Citations (Scopus)

  • Maximising the net present value for resource-constrained project scheduling

    Schutt, A., Chu, G., Stuckey, P. J. & Wallace, M., 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 9th International Conference, Proceedings. Beldiceanu, N., Jussien, N. & Pinson, E. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 362 - 378 17 p.

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

    25 Citations (Scopus)

  • Maximising the net present value of large resource-constrained projects

    Gu, H., Stuckey, P. J. & Wallace, M., 2012, Principles and Practice of Constraint Programming: 18th International Conference, Proceedings. Milano, M. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3514. p. 767 - 781 15 p.

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

    5 Citations (Scopus)

  • Optimal guillotine layout

    Gange, G., Marriott, K. G. & Stuckey, P. J., 2012, Proceedings of the 2012 ACM Symposium on Document Engineering. Schmitz, P. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 13 - 22 10 p.

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

    7 Citations (Scopus)

  • Optimisation modelling for software developers

    Francis, K., Brand, S. & Stuckey, P. J., 7 Nov 2012, Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Proceedings. Springer, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7514 LNCS).

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

    6 Citations (Scopus)

  • Orthogonal hyperedge routing

    Wybrow, M. J., Marriott, K. G. & Stuckey, P. J., 2012, Diagrammatic Representation and Inference: 7th International Conference, Proceedings. Cox, P., Plimmer, B. & Rodgers, P. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 51 - 64 14 p.

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

    5 Citations (Scopus)

  • Signedness-agnostic program analysis: Precise integer bounds for low-level code

    Navas, J. A., Schachte, P., Søndergaard, H. & Stuckey, P. J., 1 Dec 2012, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. Springer, p. 115-130 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7705 LNCS).

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

    19 Citations (Scopus)
  • 2011

    Boolean equi-propagation for optimized SAT encoding

    Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sept 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. Springer, p. 621-636 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

    16 Citations (Scopus)

  • Constraints in non-boolean contexts

    De Koninck, L., Brand, S. & Stuckey, P. J., 1 Dec 2011, Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011. p. 117-127 11 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 11).

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

    2 Citations (Scopus)

  • Half reification and flattening

    Feydy, T., Somogyi, Z. & Stuckey, P. J., 26 Sept 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. Springer, p. 286-301 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

    21 Citations (Scopus)

  • Memoizing a monadic mixin DSL

    Wuille, P., Schrijvers, T., Samulowitz, H., Tack, G. & Stuckey, P. J., 2011, Proceedings of the 20th International Workshop on Functional and Constraint Logic Programming. Kuchen, H. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 68-85 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6816 LNCS).

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

  • Optimal automatic table layout

    Gange, G., Marriott, K. G., Moulder, P. & Stuckey, P. J., 2011, Proceedings of the 11th ACM Symposium on Document Engineering. Tompa, F. W. (ed.). New York NY USA: Association for Computing Machinery (ACM), p. 23 - 31 9 p.

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

    4 Citations (Scopus)

  • Optimal carpet cutting

    Schutt, A., Stuckey, P. J. & Verden, A. R., 26 Sept 2011, Principles and Practice of Constraint Programming, CP 2011 - 17th International Conference, Proceedings. Springer, p. 69-84 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

    13 Citations (Scopus)

  • Optimal k-level planarization and crossing minimization

    Gange, G., Stuckey, P. J. & Marriott, K. G., 2011, Proceedings of the 18th International Symposium on Graph Drawing. Brandes, U. & Cornelsen, S. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 238 - 249 12 p.

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

    20 Citations (Scopus)

  • Reducing chaos in SAT-like search: Finding solutions close to a given one

    Abío, I., Deters, M., Nieuwenhuis, R. & Stuckey, P. J., 27 Jun 2011, Theory and Application of Satisfiability Testing - 14th International Conference, SAT 2011, Proceedings. Springer, p. 273-286 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6695 LNCS).

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

    8 Citations (Scopus)

  • Search combinators

    Schrijvers, T., Tack, G., Wuille, P., Samulowitz, H. & Stuckey, P. J., 2011, Proceedings of the 17th International Conference on the Principles and Practice of Constraint Programming. Lee, J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 774-788 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6876 LNCS).

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

    15 Citations (Scopus)

  • Symmetries and lazy clause generation

    Chu, G., Stuckey, P., Garcia De La Banda, M. J. & Mears, C., 2011, Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence (IJCAI 2011). Walsh, T. (ed.). Menlo Park CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 516 - 521 6 p.

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

    9 Citations (Scopus)
  • 2010

    Automatically exploiting subproblem equivalence in constraint programming

    Chu, G., Garcia De La Banda, M. J. & Stuckey, P. J., 2010, Proceedings of the 7th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems. Lodi, A., Milano, M. & Toth, P. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 71 - 86 16 p.

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

    12 Citations (Scopus)

  • Improved Consensus Clustering via linear programming

    Downing, N., Stuckey, P. J. & Wirth, A., 1 Dec 2010, Computer Science 2010 - Proceedings of the 33rd Australasian Computer Science Conference, ACSC 2010. p. 61-69 9 p. (Conferences in Research and Practice in Information Technology Series; vol. 102).

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

    3 Citations (Scopus)

  • Lazy clause generation: Combining the power of SAT and CP (and MIP?) solving

    Stuckey, P. J., 16 Aug 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. Springer, p. 5-9 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6140 LNCS).

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

    30 Citations (Scopus)

  • Orthogonal connector routing

    Wybrow, M. J., Marriott, K. G. & Stuckey, P. J., 2010, Proceedings of the 17th International Symposium on Graph Drawing. Eppstein, D. & Gansner, E. R. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5849. p. 219 - 231 13 p.

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

    22 Citations (Scopus)

  • Rapid learning for binary programs

    Berthold, T., Feydy, T. & Stuckey, P. J., 16 Aug 2010, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 7th International Conference, CPAIOR 2010, Proceedings. Springer, p. 51-55 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6140 LNCS).

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

    11 Citations (Scopus)

  • Symmetries and lazy clause generation

    Chu, G., Garcia De La Banda, M. J., Mears, C. D. & Stuckey, P. J., 2010, Proceedings of SymCon'10 the Tenth International Workshop on Symmetry in Constraint Satisfaction Problems. Flener, P. & Pearson, J. (eds.). Uppsala Sweden: Uppsala Universitet (University of Uppsala), p. 1 - 15 15 p.

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

  • 2009

    A declarative encoding of telecommunications feature subscription in SAT

    Codish, M., Genaim, S. & Stuckey, P. J., 30 Nov 2009, PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming. Association for Computing Machinery (ACM), p. 255-265 11 p. (PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming).

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

    6 Citations (Scopus)

  • Branch-and-Price Solving in G12

    Puchinger, J., Stuckey, P. J., Wallace, M. & Brand, S., 2009, Models and Algorithms for Optimization in Logistics 2009. Schloss Dagstuhl, Vol. 9261. (Dagstuhl Seminar Proceedings).

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

  • Confidence-based work stealing in parallel constraint programming

    Chu, G., Schulte, C. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 226-241 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

    57 Citations (Scopus)

  • Demand-driven normalisation for ACD term rewriting

    De Koninck, L., Duck, G. J. & Stuckey, P. J., 14 Sept 2009, Logic Programming - 25th International Conference, ICLP 2009, Proceedings. Springer, p. 484-488 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5649 LNCS).

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

  • Lazy clause generation reengineered

    Feydy, T. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 352-366 15 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

    71 Citations (Scopus)

  • Maintaining state in propagation solvers

    Reischuk, R., Schulte, C., Stuckey, P. J. & Tack, G., 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. 692 - 706 15 p.

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

    4 Citations (Scopus)

  • Minimizing the maximum number of open stacks by customer search

    Chu, G. & Stuckey, P. J., 2 Nov 2009, Principles and Practice of Constraint Programming - CP 2009 - 15th International Conference, CP 2009, Proceedings. Springer, p. 242-257 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

    26 Citations (Scopus)