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

Research Output 1993 2019

2019

Information-theoretic inference of an optimal dictionary of protein supersecondary structures

Konagurthu, A. S., Subramanian, R., Allison, L., Abramson, D., de la Banda, M. G., Stuckey, P. J. & Lesk, A. M., 2019, Protein Supersecondary Structures: Methods and Protocols. E. Kister, A. (ed.). 2nd ed. New York NY USA: Springer, p. 123-131 9 p. (Methods in molecular biology (Clifton, N.J.); vol. 1958).

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

Optimal context-sensitive Dynamic Partial Order Reduction with observers

Albert, E., De La Banda, M. G., Gómez-Zamalloa, M., Isabel, M. & Stuckey, P. J., 2019, Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis. Zhang, D. & Moller, A. (eds.). New York NY USA: Association for Computing Machinery (ACM), p. 352-362 11 p.

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

2018

Process plant layout optimization: equipment allocation

Belov, G., Czauderna, T., de la Banda, M. G., Klapperstueck, M., Senthooran, I., Smith, M., Wybrow, M. & Wallace, M., 23 Aug 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. 473-489 17 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

Towards semi-automatic learning-based model transformation

Zeighami, K., Leo, K., Tack, G. & de la Banda, M. G., 1 Jan 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. 403-419 17 p. (Lecture Notes in Computer Science ; vol. 11008 ).

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

2017

An optimization model for 3D pipe routing with flexibility constraints

Belov, G., Czauderna, T., Dzaferovic, A., de la Banda, M. G., Wybrow, M. & Wallace, M., 2017, Principles and Practice of Constraint Programming : 23rd International Conference CP 2017, Melbourne, VIC, Australia, August 28 – September 1, 2017 Proceedings. Beck, J. C. (ed.). Cham Switzerland: Springer, p. 321-337 17 p. (Lecture Notes in Computer Science; vol. 10416 ).

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

Open Access
File

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

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

Learning from learning solvers

Shishmarev, M., Mears, C., Tack, G. & Garcia de la Banda, M., 2016, Principles and Practice of Constraint Programming: 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings. Rueher, M. (ed.). Switzerland: Springer, p. 455-472 18 p. (Lecture Notes in Computer Science; vol. 9892 ).

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

Visual search tree profiling

Shishmarev, M., Mears, C., Tack, G. & Garcia De La Banda, M., 2016, In : Constraints. 21, 1, p. 77-94 18 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2015

A method for detecting symmetries in constraint models and its generalisation

Mears, C. D., Garcia De La Banda, M. J., Wallace, M. & Demoen, B., 2015, In : Constraints. 20, 2, p. 235 - 273 39 p.

Research output: Contribution to journalArticleResearchpeer-review

Towards automatic dominance breaking for constraint optimization problems

Mears, C. D. & Garcia De La Banda, M. J., 2015, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015). Yang, Q. & Wooldridge, M. (eds.). Palo Alto CA USA: AAAI Press, p. 360 - 366 7 p.

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

2014

A new statistical framework to assess structural alignment quality using information compression

Collier, J., Allison, L., Lesk, A. M., Garcia De La Banda, M. J. & Konagurthu, A. S., 2014, In : Bioinformatics. 30, 17, p. 512 - 518 7 p.

Research output: Contribution to journalArticleResearchpeer-review

Lightweight dynamic symmetry breaking

Mears, C. D., Garcia De La Banda, M. J., Demoen, B. & Wallace, M., 2014, In : Constraints. 19, 3, p. 195 - 242 48 p.

Research output: Contribution to journalArticleResearchpeer-review

On representing protein folding patterns using non-linear parametric curves

Kasarapu, P., Garcia De La Banda, M. J. & Konagurthu, A. S., 2014, In : IEEE/ACM Transactions on Computational Biology and Bioinformatics. 11, 6, p. 1218 - 1228 11 p.

Research output: Contribution to journalArticleResearchpeer-review

Redundant Sudoku rules

Demoen, B. & Garcia De La Banda, M. J., 2014, In : Theory and Practice of Logic Programming. 14, 3, p. 363 - 377 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Symmetries, almost symmetries, and lazy clause generation

Chu, G., Garcia De La Banda, M. J., Mears, C. D. & Stuckey, P. J., 2014, In : Constraints. 19, 4, p. 434 - 462 29 p.

Research output: Contribution to journalArticleResearchpeer-review

The future of optimization technology

Garcia De La Banda, M., Stuckey, P. J., Van Hentenryck, P. & Wallace, M., 2014, In : Constraints. 19, 2, p. 126-138 13 p.

Research output: Contribution to journalArticleOtherpeer-review

2013

A CLP heap solver for test case generation

Albert, E., Garcia De La Banda, M. J., Gomez-Zamalloa, M., Rojas, J. M. & Stuckey, P. J., 2013, In : Theory and Practice of Logic Programming. 13, 4-5, p. 721 - 735 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Globalizing constraint models

Leo, K., Mears, C. D., Tack, G. & Garcia De La Banda, M. J., 2013, Principles and Practice of Constraint Programming: 19th International Conference (CP2013), Proceedings. Schulte, C. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 432 - 447 16 p.

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

Redundant disequalities in the Latin Square problem

Demoen, B. & Garcia De La Banda, M. J., 2013, In : Constraints. 18, 4, p. 471 - 477 7 p.

Research output: Contribution to journalArticleResearchpeer-review

2012

Exploiting subproblem dominance in constraint programming

Chu, G., Garcia De La Banda, M. J. & Stuckey, P. J., 2012, In : Constraints. 17, 1, p. 1 - 38 38 p.

Research output: Contribution to journalArticleResearchpeer-review

Introduction to the special issue on Prolog systems

Demoen, B. & Garcia De La Banda, M. J., 2012, In : Theory and Practice of Logic Programming. 12, 1-2, p. 1 - 4 4 p.

Research output: Contribution to journalLetterOther

Super: A web server to rapidly screen superposable oligopeptide fragments from the protein data bank

Collier, J., Lesk, A. M., Garcia De La Banda, M. J. & Konagurthu, A. S., 2012, In : Nucleic Acids Research. 40, p. 1 - 6 6 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
File
2011

Introduction to the 24th international conference on logic programming special issue

De La Banda, M. G. & Pontelli, E., Mar 2011, In : Theory and Practice of Logic Programming. 11, 2-3, p. 131-133 3 p.

Research output: Contribution to journalEditorialOtherpeer-review

Solving talent scheduling with dynamic programming

Garcia De La Banda, M. J., Stuckey, P. J. & Chu, G., 2011, In : INFORMS Journal on Computing. 23, 1, p. 120 - 137 18 p.

Research output: Contribution to journalArticleResearchpeer-review

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: AAAI Press, p. 516 - 521 6 p.

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

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

Lock-free parallel dynamic programming

Stivala, A., Stuckey, P. J., Garcia De La Banda, M. J., Hermenegildo, M. & Wirth, A., 2010, In : Journal of Parallel and Distributed Computing. 70, 8, p. 839 - 848 10 p.

Research output: Contribution to journalArticleResearchpeer-review

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 University, p. 1 - 15 15 p.

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

2009

Cooperative effects in the substrate specificity of the complement protease C1s

Boyd, S. E., Kerr, F. K., Albrecht, D. W., Garcia De La Banda, M. J., Ng, N. & Pike, R. N., 2009, In : Biological Chemistry. 390, 5/6, p. 503 - 507 5 p.

Research output: Contribution to journalArticleResearchpeer-review

On implementing symmetry detection

Mears, C. D., Garcia De La Banda, M. J. & Wallace, M., 2009, In : Constraints. 14, 4, p. 443 - 477 35 p.

Research output: Contribution to journalArticleResearchpeer-review

Structural determinants of GAD antigenicity

Arafat, Y., Fenalti, G., Whisstock, J., Mackay, I. R., Garcia De La Banda, M. J., Rowley, M. J. & Buckle, A. M., 2009, In : Molecular Immunology. 47, 2-3, p. 493 - 505 13 p.

Research output: Contribution to journalArticleResearchpeer-review

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

2008

Adding search to Zinc

Rafeh, R., Marriott, K. G., Garcia De La Banda, M. J., Nethercote, N. & Wallace, M., 2008, Proceedings of the 14th International Conference on Principles and Practice of Constraint Programming (CP 2008). Stuckey, P. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5202. p. 624 - 629 6 p.

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

A novel approach for detecting symmetries in CSP models

Mears, C. D., Garcia De La Banda, M. J., Wallace, M. & Demoen, B., 2008, Lecture Notes In Artificial Intelligence. Perron, L. & Trick, M. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5015. p. 158 - 172 15 p.

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

Lightweight dynamic symmetry breaking

Aloul, F. (ed.), Mears, C. D., Benhamou, B. (ed.), Garcia De La Banda, M. J., Demoen, B., Sais, L. (ed.) & Wallace, M., 2008, p. 1 - 10. 10 p.

Research output: Contribution to conferenceOtherOther

Logic programming: 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 proceedings

de la Banda, M. G. & Pontelli, E., 1 Jan 2008, Logic Programming - 24th International Conference, ICLP 2008, Proceedings. Springer-Verlag London Ltd., (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5366).

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

Proceedings of the 24th International Conference on Logic Programming (ICLP 2008)

Garcia De La Banda, M. J. & Pontelli, E., 2008, Berlin Germany: Springer-Verlag London Ltd. 826 p.

Research output: Book/ReportEdited BookOther

Symmetry breaking and branching constraints

Aloul, F. (ed.), Mears, C. D., Benhamou, B. (ed.), Garcia De La Banda, M. J., Sais, L. (ed.), Wallace, M. & Demoen, B., 2008, p. 1 - 6. 6 p.

Research output: Contribution to conferenceOtherOther

The design of the Zinc modelling language

Marriott, K. G., Nethercote, N., Rafeh, R., Stuckey, P. J., Garcia De La Banda, M. J. & Wallace, M., 2008, In : Constraints. 13, 3, p. 229 - 267 39 p.

Research output: Contribution to journalArticleResearchpeer-review

2007

A novel approach for detecting symmetries in CSP models

Demoen, B., Garcia De La Banda, M. J., Mears, C. D. & Wallace, M., 2007, Proceedings of the Seventh International Workshop on Symmetry in Constraint Satisfaction Problems. Benhamou, B., Choueiry, B. Y. & Hnich, B. (eds.). http://www.cmi.univ-mrs.fr/~benhamou/symcon07/Proceedings%20.htm: SymCon'07, p. 30 - 38 9 p.

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

Cooperative effects in the substrate specificity of the complement protease CIS

Sotiropoulou, G. (ed.), Boyd, S. E., Pampalakis, G. (ed.), Garcia De La Banda, M. J., Arampatzidou, M. (ed.), Kerr, F. K. & O'Brien, G., 2007, p. 361 - 361. 1 p.

Research output: Contribution to conferenceAbstractOther

Dynamic programming to minimize the maximum number of open stacks

Garcia De La Banda, M. J. & Stuckey, P. J., 2007, In : INFORMS Journal on Computing. 19, 4, p. 607 - 617 11 p.

Research output: Contribution to journalArticleResearchpeer-review

From Zinc to design model

Rafeh, R., Garcia De La Banda, M. J., Marriott, K. G. & Wallace, M., 2007, Proceedings of the 9th International Symposium on Practical Aspects of Declarative Languages (PADL 2007). Hanus, M. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 4354. p. 215 - 229 15 p.

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

RCPdb: An evolutionary classification and codon usage database for repeat-containing proteins

Faux, N. G., Huttley, G. A., Mahmood, K., Webb, G., Garcia De La Banda, M. J. & Whisstock, J., 2007, In : Genome Research. 17, 7, p. 1118 - 1127 10 p.

Research output: Contribution to journalArticleResearchpeer-review

2006

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