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

Research Output 1993 2018

2018

Sequential precede chain for value symmetry elimination

Gange, G. & Stuckey, P. J., 2018, Principles and Practice of Constraint Programming : 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 144-159 16 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

Solver-independent large neighbourhood search

Dekker, J. J., de la Banda, M. G., Schutt, A., Stuckey, P. J. & Tack, G., 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018 Lille, France, August 27–31, 2018 Proceedings. Hooker, J. (ed.). Cham Switzerland: Springer, p. 81-98 18 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

2017

A novel approach to string constraint solving

Amadini, R., Gange, G., Stuckey, P. J. & Tack, G., 2017, Principles and Practice of Constraint Programming - 23rd International Conference CP 2017, Proceedings. Beck, C. (ed.). Cham Switzerland: Springer, Vol. 10416 . p. 3-20 18 p. (Lecture Notes in Computer Science; vol. 10416).

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

Context-sensitive dynamic partial order reduction

Albert, E., Arenas, P., De La Banda, M. G., Gómez-Zamalloa, M. & Stuckey, P. J., 2017, Computer Aided Verification : 29th International Conference, CAV 2017 Heidelberg, Germany, July 24–28, 2017, Proceedings, Part I. Majumdar, R. & Kunčak, V. (eds.). Berlin Germany: Springer, p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS).

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

Open Access
File

MiniZinc with strings

Amadini, R., Flener, P., Pearson, J., Scott, J. D., Stuckey, P. J. & Tack, G., 2017, Logic-Based Program Synthesis and Transformation : 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016,Revised Selected Papers. Hermenegildo, M. V. & Lopez-Garcia, P. (eds.). Cham, Switzerland: Springer, p. 59-75 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10184 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapter (Book)Researchpeer-review

Statistical Compression of Protein Folding Patterns for Inference of Recurrent Substructural Themes

Subramanian, R., Allison, L., Stuckey, P. J., de la Banda, M. G., Abramson, D., Lesk, A. M. & Konagurthu, A. S., 8 May 2017, Proceedings - DCC 2017, 2017 Data Compression Conference: 4 - 7 April 2017, Snowbird, Utah, USA. Bilgin, A., Marcellin, M. W., Serra-Sagrista, J. & Storer, J. A. (eds.). Piscataway, NJ: IEEE, Institute of Electrical and Electronics Engineers, p. 340-349 10 p. 7923707. (Data Compression Conference. Proceedings).

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

Statistical inference of protein structural alignments using information and compression

Collier, J. H., Allison, L., Lesk, A. M., Stuckey, P. J., Garcia De La Banda, M. & Konagurthu, A. S., 1 Apr 2017, In : Bioinformatics. 33, 7, p. 1005-1013 9 p.

Research output: Contribution to journalArticleResearchpeer-review

2016

Rail capacity modelling with constraint programming

Harabor, D. & Stuckey, P. J., 2016, Integration of AI and OR Techniques in Constraint Programming : 13th International Conference, CPAIOR 2016 Banff, AB, Canada, May 29 – June 1, 2016 Proceedings. Quimper, C-G. (ed.). Cham Switzerland: Springer, p. 170-186 17 p. (Lecture Notes in Computer Science ; vol. 9676).

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

2014

Local search for a cargo assembly planning problem

Belov, G., Boland, N., Savelsbergh, M. W. P. & Stuckey, P. J., 2014, Integration of AI and OR Techniques in Constraint Programming : 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014, Proceedings. Simonis, H. (ed.). Cham Switzerland : Springer, p. 159-175 17 p. (Lecture Notes in Computer Science ; vol. 8451 ).

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

2013

Automated design of search with composability

Sabharwal, A., Samulowitz, H., Schrijvers, T., Stuckey, P. J. & Tack, G., 2013, Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence. desJardins, M. & Littman, M. L. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 107-109 3 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearch

Failure tabled constraint logic programming by interpolation

Gange, G., Navas, J. A., Schachte, P., Sondergaard, H. & Stuckey, P. J., 1 Jul 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 593-607 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2011

CP and IP approaches to cancer radiotherapy delivery optimization

Baatar, D., Boland, N., Brand, S. & Stuckey, P. J., Apr 2011, In : Constraints. 16, 2, p. 173-194 22 p.

Research output: Contribution to journalArticleResearchpeer-review

MDD propagators with explanation

Gange, G., Stuckey, P. J. & Szymanek, R., 1 Oct 2011, In : Constraints. 16, 4, p. 407-429 23 p.

Research output: Contribution to journalArticleResearchpeer-review

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

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

2010

Fast set bounds propagation using a BDD-SAT hybrid

Gange, G., Stuckey, P. J. & Lagoon, V., 1 May 2010, In : Journal of Artificial Intelligence Research. 38, p. 307-338 32 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
2007

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

2006

Chapter 12 Constraint logic programming

Marriott, K., Wallace, M. & Stuckey, P. J., 1 Dec 2006, In : Lecture Notes in Computer Science. 2, C, p. 409-452 44 p.

Research output: Contribution to journalArticleResearchpeer-review

2005

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, In : Lecture Notes in Computer Science. 3668, p. 9-13 5 p.

Research output: Contribution to journalArticleResearchpeer-review

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, In : Lecture Notes in Computer Science. 3709, p. 13-16 5 p.

Research output: Contribution to journalArticleResearchpeer-review

1998

A practical object-oriented analysis engine for CLP

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1998, In : Software - Practice and Experience. 28, 2, p. 199-224 26 p.

Research output: Contribution to journalArticleResearchpeer-review

Optimizing compilation of CLP(R)

Kelly, A. D., Marriott, K., Macdonald, A., Stuckey, P. J. & Yap, R., 1 Nov 1998, In : ACM Transactions on Programming Languages and Systems. 20, 6, p. 1223-1250 28 p.

Research output: Contribution to journalArticleResearchpeer-review

1996

Two applications of an incremental analysis engine for (Constraint) logic programs

Kelly, A. D., Marriott, K., Søndergaard, H. & Stuckey, P. J., 1 Jan 1996, Static Analysis - 3rd International Symposium, SAS 1996, Proceedings. Schmidt, D. A. & Cousot, R. (eds.). Springer, p. 385-386 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1145).

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

1993

Semantics of Constraint Logic Programs with Optimization

Marriott, K. & Stuckey, P. J., 3 Jan 1993, In : ACM Letters on Programming Languages and Systems (LOPLAS). 2, 1-4, p. 197-212 16 p.

Research output: Contribution to journalArticleResearchpeer-review