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

Research Output 1993 2017

Filter
Conference Paper
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

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

2015

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

2013

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

2011

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

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

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

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

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

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

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

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

2004

Compiling Ask Constraints

Duck, G. J., Garcia De La Banda, M. J. & Stuckey, P. J. 2004 Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). Demoen, B. & Lifschitz, V. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3132, p. 105 - 119 15 p.

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

PoPS: A computational tool for modeling and predicting protease specificity

Boyd, S. E., De La Banda, M. G., Pike, R. N., Whisstock, J. C. & Rudy, G. B. 1 Jan 2004 Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004. IEEE Computer Society, p. 372-381 10 p.

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

PoPS: a computational tool for modeling and predicting protease specificity

Boyd, S. E., Garcia De La Banda, M. J., Pike, R. N., Whisstock, J. & Rudy, G. B. 2004 Proceedings of the 2004 IEEE Computational Systems Bioinformatics Conference. Markstein, V. (ed.). Los Alamitos USA: IEEE Computer Society, p. 372 - 381 10 p.

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

Set-sharing is not always redundant for pair-sharing

Bueno, F. & Garcia De La Banda, M. J. 2004 Proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004). Kameyama, Y. & Stuckey, P. J. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 2998, p. 117 - 131 15 p.

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

The refined operational semantics of constraint handling rules

Duck, G. J., Stuckey, P. J., Garcia De La Banda, M. J. & Holzbaur, C. 2004 Proceedings of the 20th International Conference in Logic Programming (ICLP 2004). Demoen, B. & Lifschitz, V. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3132, p. 90 - 104 15 p.

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

2003

Extending arbitrary solvers with Constraint Handling Rules

Duck, G. J., Stuckey, P. J., Garcia De La Banda, M. J. & Holzbaur, C. 2003 Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Miller, D. (ed.). New York USA: Association for Computing Machinery (ACM), p. 79 - 90 12 p.

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

Finding all minimal unsatisfiable subsets

Garcia De La Banda, M. J., Stuckey, P. J. & Wazny, J. 2003 Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Miller, D. (ed.). New York USA: Association for Computing Machinery (ACM), p. 32 - 43 12 p.

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

ViMer: a visual debugger for Mercury

Cameron, M. M., Garcia De La Banda, M. J., Marriott, K. G. & Moulder, P. 2003 Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming. Miller, D. (ed.). New York USA: Association for Computing Machinery (ACM), p. 56 - 66 11 p.

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

1999

Herbrand Constraint Solving in HAL

Demoen, B., Garcia De La Banda, M. J., Harvey, W., Marriott, K. & Stuckey, P. J. 1999 Logic Programming Proceedings of the 1999 International Conference on Logic Programming. Massachusets USA: Massachusetts Institute of Technology Press, p. 260 - 274 15 p.

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

Type Constraint Solving for Parametric and Ad-hoc Polymorphism

Demoen, B., Garcia De La Banda, M. J. & Stuckey, P. J. 1999 Proceedings of the 22nd Australasian Computer Science Conference, (ACSC'99). Singapore: Springer-Verlag London Ltd., p. 217 - 228 12 p.

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

1997

Optimization of logic programs with dynamic scheduling

Puebla, G., Garcia De La Banda, M. J., Marriott, K. & Stuckey, P. J. 1997 Logic Programming. Cambridge MA USA: The MIT Press, p. 93 - 107 15 p.

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

1995

Efficient analysis of logic programs with dynamic scheduling

Garcia De La Banda, M. J., Marriott, K. G. & Stuckey, P. J. 1995 Proceedings of the 1995 International Symposium on Logic Programming. Lloyd, J. (ed.). Massachusetts London UK: The MIT Press, p. 417 - 431 15 p.

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

1994

Analyzing logic programs with dynamic scheduling

Marriott, K., de la Banda, M. L. G. & Hermenegildo, M. 1 Jan 1994 Conference Record of the Annual ACM Symposium on Principles of Programming Languages. Publ by ACM, p. 240-253 14 p.

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

1993

Improving abstract interpretations by combining domains

Codish, M., Mulkers, A., Bruynooghe, M., Garcia de la Banda, M. & Hermenegildo, M. 1 Dec 1993 Proc ACM SIGPLAN Symp Partial Eval Semantics Based Program Manipulation. Anon (ed.). p. 194-205 12 p.

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