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 …2022

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Conference Paper
2013

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 proceedingConference PaperResearchpeer-review

4 Citations (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 proceedingConference PaperOtherpeer-review

4 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 proceedingConference PaperOtherpeer-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 proceedingConference PaperResearchpeer-review

9 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 proceedingConference PaperResearchpeer-review

12 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

5 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 proceedingConference PaperResearchpeer-review

12 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 proceedingConference PaperResearchpeer-review

4 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

2 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

9 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 proceedingConference PaperResearchpeer-review

6 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 proceedingConference PaperResearchpeer-review

12 Citations (Scopus)
2011

Boolean equi-propagation for optimized SAT encoding

Metodi, A., Codish, M., Lagoon, V. & Stuckey, P. J., 26 Sep 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 proceedingConference PaperResearchpeer-review

14 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 proceedingConference PaperResearchpeer-review

2 Citations (Scopus)

Half reification and flattening

Feydy, T., Somogyi, Z. & Stuckey, P. J., 26 Sep 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 proceedingConference PaperResearchpeer-review

18 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 proceedingConference PaperResearchpeer-review

Optimal carpet cutting

Schutt, A., Stuckey, P. J. & Verden, A. R., 26 Sep 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 proceedingConference PaperResearchpeer-review

11 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 proceedingConference PaperResearchpeer-review

5 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 proceedingConference PaperResearchpeer-review

15 Citations (Scopus)
2010

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 proceedingConference PaperResearchpeer-review

2 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 proceedingConference PaperResearchpeer-review

13 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 proceedingConference PaperResearchpeer-review

6 Citations (Scopus)
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 proceedingConference PaperResearchpeer-review

5 Citations (Scopus)

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 proceedingConference PaperResearchpeer-review

52 Citations (Scopus)

Demand-driven normalisation for ACD term rewriting

De Koninck, L., Duck, G. J. & Stuckey, P. J., 14 Sep 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

52 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 proceedingConference PaperResearchpeer-review

20 Citations (Scopus)

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 proceedingConference PaperResearchpeer-review

12 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 proceedingConference PaperResearchpeer-review

8 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 proceedingConference PaperResearchpeer-review

11 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 proceedingConference PaperResearchpeer-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 proceedingConference PaperResearchpeer-review

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 proceedingConference PaperResearchpeer-review

3 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 proceedingConference PaperResearchpeer-review

12 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 proceedingConference PaperResearchpeer-review

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 proceedingConference PaperResearchpeer-review

7 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 proceedingConference PaperResearchpeer-review

4 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 proceedingConference PaperResearchpeer-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. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

31 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 proceedingConference PaperOtherpeer-review

8 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 proceedingConference PaperResearchpeer-review

4 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 proceedingConference PaperResearchpeer-review

27 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 proceedingConference PaperResearchpeer-review

23 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. p. 229-236 8 p. 4400997. (Proceedings - International Conference on Data Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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. (Proceedings of the ACM Symposium on Applied Computing).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4741 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

25 Citations (Scopus)