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

Research Output 1995 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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper