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

Research Output 1984 2019

2008

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

The effects of the social structure of digital networks on viral marketing performance

Bampo, M., Ewing, M. T., Mather, D. R., Stewart, D. B. & Wallace, M., 2008, In : Information Systems Research. 19, 3, p. 273 - 290 18 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

Constraint Logic Programming Using ECLiPSe

Apt, K. R. & Wallace, M., 2007, 1 ed. Cambridge UK: Cambridge University Press. 329 p.

Research output: Book/ReportBookResearchpeer-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

Hybrid algorithms in constraint programming

Wallace, M., 2007, Proceedings of the 11th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming: Recent Advances in Constraints (CSCLP 2006). Azevedo, F., Barahona, P., Fages, F. & Rossi, F. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 4651. p. 1 - 32 32 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

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

Constraint logic programming

Marriott, K. G., Stuckey, P. J. & Wallace, M., 2006, Handbook of Constraint Programming. Rossi, F., van Beek, P. & Walsh, T. (eds.). 1 ed. Amsterdam The Netherlands: Elsevier, p. 409 - 452 44 p.

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

Integrating operations research in constraint programming

Milano, M. & Wallace, M., 2006, In : 4OR: A Quarterly Journal of Operations Research. 4, 3, p. 175 - 219 45 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

Constraint programming for improved wafer fabrication throughput

Wallace, M. & Eisenberg, C., 2005, Proceedings of the 3rd International Conference on Modeling and Analysis of Semiconductor Manufacturing. Lendermann, P. (ed.). Singapore: Singapore Institute of Manufacturing Technology (SIMTech), p. 169 - 174 6 p.

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

Introduction to the special issue on Principles and Practice of Constraint Programming (CP 2004)

Wallace, M., 1 Oct 2005, In : Constraints. 10, 4, p. 283-305 23 p.

Research output: Contribution to journalEditorialResearchpeer-review

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

Towards the new modelling language zinc

Rafeh, R., Marriott, K. G., Wallace, M. & Garcia De La Banda, M. J., 2005, p. 138 - 142. 5 p.

Research output: Contribution to conferenceOtherOther

2004

Hybrid problem solving in ECLiPSe

Ajili, F. & Wallace, M., 2004, Constraint and Integer Programming: Toward a Unified Methodology. Milano, M. (ed.). Norwell MA USA: Kluwer Academic Publishers, p. 169 - 206 38 p.

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

On benchmarking constraint logic programming platforms. Response to Fernandez and Hill's "A comparative study of eight constraint programming languages over the boolean and finite domains"

Wallace, M., Schimpf, J., Shen, K. & Harvey, W., 1 Jan 2004, In : Constraints. 9, 1, p. 5-34 30 p.

Research output: Contribution to journalReview ArticleResearchpeer-review

Open perspectives

Wallace, M., Caseau, Y. & Puget, J-F., 2004, Norwell MA USA: Kluwer Academic Publishers. 35 p.

Research output: Book/ReportCommissioned ReportResearch

Problem decomposition for traffic diversions

Xia, Q., Eremin, A. & Wallace, M., 2004, Proceedings of the First International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2004). Regin, J-C. & Rueher, M. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3011. p. 348 - 363 16 p.

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

2003

Annals of Operations Research: Preface

Gervet, C. & Wallace, M., 1 Feb 2003, In : Annals of Operations Research. 118, 1-4, p. 13-15 3 p.

Research output: Contribution to journalArticleResearchpeer-review

Constraint satisfaction

Freuder, E. & Wallace, M., 2003, Norwell MA USA: Kluwer Academic Publishers. 24 p.

Research output: Book/ReportCommissioned ReportResearch

Languages versus packages for constraint problem solving

Wallace, M., 2003, In : Lecture Notes in Computer Science. 2833, p. 37 - 52 16 p.

Research output: Contribution to journalArticleResearchpeer-review

2002

Constraint logic programming

Wallace, M., 1 Dec 2002, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). p. 512-532 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2407).

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

Constraint Logic Programming

Wallace, M. G., 2002, In : Lecture Notes in Computer Science. 2407, Part 1, p. 512 - 532 21 p.

Research output: Contribution to journalArticleResearchpeer-review

Finding the right hybrid algorithm - a combinatorial meta-problem

Wallace, M. & Schimpf, J., 2002, In : Annals of Mathematics and Artificial Intelligence. 34, 4, p. 259 - 269 11 p.

Research output: Contribution to journalArticleResearchpeer-review

2001

Hybrid Benders Decomposition Algorithms in Constraint Logic Programming

Eremin, A. & Wallace, M., 2001, In : Lecture Notes in Computer Science. 2239, p. 1 - 15 15 p.

Research output: Contribution to journalArticleResearchpeer-review

2000

Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling

El Sakkout, H. H. & Wallace, M., 2000, In : Constraints. 5, 4, p. 359 - 388 30 p.

Research output: Contribution to journalArticleResearchpeer-review

1999

A new approach to integrating mixed integer programming and constraint logic programming

Rodošek, R., Wallace, M. G. & Hajian, M. T., 1 Dec 1999, In : Annals of Operations Research. 86, p. 63-87 25 p.

Research output: Contribution to journalArticleResearchpeer-review

ECLiPSe: Declarative specification and scaleable implementation

Wallace, M. & Schimpf, J., 1 Dec 1999, Practical Aspects of Declarative Languages - First International Workshop, PADL'99, Proceedings. p. 365-366 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1551 LNCS).

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

Preface. Volume 1

Wallace, M., Caseau, Y., Jacquet-Lagreze, E., Simonis, H. & Pesant, G., 1 Jan 1999, In : Electronic Notes in Discrete Mathematics. 1, p. 85-86 2 p.

Research output: Contribution to journalEditorialResearchpeer-review

1998

A generic model and hybrid algorithm for hoist scheduling problems

Rodošek, R. & Wallace, M., 1 Jan 1998, Principles and Practice of Constraint Programming – CP 1998 - 4th International Conference, CP 1998, Proceedings. Springer-Verlag London Ltd., p. 385-399 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1520).

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

Towards a closer integration of finite domain propagation and simplex-based algorithms

Hajian, M. T., El-Sakkout, H., Wallace, M., Lever, J. M. & Richards, B., 1 Dec 1998, In : Annals of Operations Research. 81, p. 421-431 11 p.

Research output: Contribution to journalArticleResearchpeer-review

1996

An informal introduction to constraint database systems

Gaede, V. & Wallace, M., 1 Jan 1996, Constraint Databases and Applications - 2nd International Workshop on Constraint Database Systems, CDB 1997 - CP 1996 Workshop on Constraints and Databases, Selected Papers. Springer-Verlag London Ltd., p. 7-52 46 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1191).

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

An instance of adaptive constraint propagation

Sakkout, H. E., Wallace, M. G. & Richards, E. B., 1 Jan 1996, Principles and Practice of Constraint Programming ― CP 1996 - 2nd International Conference, CP 1996, Proceedings. Springer-Verlag London Ltd., p. 164-178 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1118).

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

Implementing index data structures using constraint logic programming

Bressan, S., Sexton, A. & Wallace, M., 1 Jan 1996, Constraint Databases and Applications - 2nd International Workshop on Constraint Database Systems, CDB 1997 - CP 1996 Workshop on Constraints and Databases, Selected Papers. Springer-Verlag London Ltd., p. 294-301 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1191).

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

Magic checking: Constraint checking for database query optimisation

Wallace, M., Bressan, S. & Provost, T. L., 1 Jan 1996, Constraint Databases and Applications - ESPRIT WG CONTESSA Workshop, 1995, Proceedings. Springer-Verlag London Ltd., p. 148-166 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1034).

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

Practical applications of constraint programming

Wallace, M., 1 Jan 1996, In : Constraints. 1, 1-2, p. 139-168 30 p.

Research output: Contribution to journalArticleResearchpeer-review

Preface

Gaede, V., Brodsky, A., Günther, O., Srivastava, D., Vianu, V. & Wallace, M., 1 Jan 1996, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1191, p. v

Research output: Contribution to journalEditorialResearchpeer-review

1995

Constraint logic programming for scheduling and planning

Lever, J., Wallace, M. & Richards, B., 1 Jan 1995, In : British Telecom technology journal. 13, 1, p. 73-80 8 p.

Research output: Contribution to journalArticleResearchpeer-review

1994

Constraint logic programming and its application to fleet scheduling

Christodoulou, N., Wallace, M. & Kuchenhoff, V., 1 Jan 1994, In : Information and decision technologies Amsterdam. 19, 3, p. 135-144 10 p.

Research output: Contribution to journalArticleResearchpeer-review

1993

Generalized constraint propagation over the CLP scheme

Le Provost, T. & Wallace, M., 1 Jan 1993, In : The Journal of Logic Programming. 16, 3-4, p. 319-359 41 p.

Research output: Contribution to journalArticleResearchpeer-review

1984

Communicating with databases in natural language

Wallace, M., 1984, West Sussex, England: Ellis Horwood Limited. 170 p. (Ellis Horwood series in artificial intelligence)

Research output: Book/ReportBookResearchpeer-review