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

Research Output 1993 2017

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, Proceedings. Beck , C. (ed.). Cham Switzerland: Springer, Vol. 10416 , p. 321-337 17 p. (1Lecture 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.). Springer-Verlag London Ltd., p. 526-543 18 p. (Lecture Notes in Computer Science ; vol. 10426 LNCS)

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-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

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

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, (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

Improving PARMA trailing

Schrijvers, T., Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J. 2006 In : Theory and Practice of Logic Programming. 6, 6, p. 609 - 644 36 p.

Research output: Contribution to journalArticleResearchpeer-review

The modelling language Zinc

Garcia De La Banda, M. J., Marriott, K. G., Rafeh, R. & Wallace, M. 2006 Proceedings of the 12th International Conference on Principles and Practice of Constraint Programming (CP 2006). Benhamou, F. (ed.). Germany: Springer-Verlag London Ltd., Vol. 4204, p. 700 - 705 6 p.

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

2005

Checking modes of HAL programs

Garcia De La Banda, M. J., Harvey, W., Marriott, K. G., Stuckey, P. J. & Demoen, B. 2005 In : Theory and Practice of Logic Programming. 5, 6, p. 623 - 667 45 p.

Research output: Contribution to journalArticleResearchpeer-review

Elucidation of the substrate specificity of the C1s protease of the classical complement pathway

Kerr, F. K., O'Brien, G., Quinsey, N. S., Whisstock, J., Boyd, S. E., Garcia De La Banda, M. J., Kaiserman, D., Matthews, A. Y., Bird, P. I. & Pike, R. N. 2005 In : Journal of Biological Chemistry. 280, 47, p. 39510 - 39514 5 p.

Research output: Contribution to journalArticleResearchpeer-review

Functional insights from the distribution and role of homopeptide repeat-containing proteins

Faux, N. G., Bottomley, S. P., Lesk, A. M., Irving, J. A., Morrison, J. R., Garcia De La Banda, M. J. & Whisstock, J. C. 2005 In : Genome Research. 15, 4, p. 537 - 551 15 p.

Research output: Contribution to journalArticleResearchpeer-review

Optimizing compilation of constraint handling rules in HAL

Holzbaur, C., Garcia De La Banda, M. J., Stuckey, P. J. & Duck, G. J. 2005 In : Theory and Practice of Logic Programming. 5, 4-5, p. 503 - 531 29 p.

Research output: Contribution to journalArticleResearchpeer-review