1984 …2022

Research output per year

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

Research Output

A computable semantics for general logic programs

Wallace, M., May 1989, In : Journal of Logic Programming. 6, 3, p. 269-297 29 p.

Research output: Contribution to journalArticleResearchpeer-review

Open Access
7 Citations (Scopus)

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

4 Citations (Scopus)

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

3 Citations (Scopus)

A fast and scalable algorithm for scheduling large numbers of devices under real-time pricing

He, S., Wallace, M., Gange, G., Liebman, A. & Wilson, C., 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. 649-666 18 p. (Lecture Notes in Computer Science ; vol. 11008).

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

1 Citation (Scopus)

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

29 Citations (Scopus)

A hybrid constraint programming / local search approach to the pick-up and delivery problem with time windows

Guimarans, D., Ramos, J. J., Wallace, M. & Riera, D., 2009, 21st European Modeling and Simulation Symposium, EMSS 2009.

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

A hybrid method for transportation with stochastic demand

Corso, L. L. & Wallace, M., 2015, In : International Journal of Logistics. 18, 4, p. 342 - 354 13 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

Airline planning benchmark problems - Part I: Characterising networks and demand using limited data

Akartunali, K., Boland, N., Evans, I. R., Wallace, M. & Waterer, H., 2013, In : Computers and Operations Research. 40, 3, p. 775 - 792 18 p.

Research output: Contribution to journalArticleResearchpeer-review

3 Citations (Scopus)

Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation

Akartunali, K., Boland, N., Evans, I. R., Wallace, M. & Waterer, H., 2013, In : Computers and Operations Research. 40, 3, p. 793 - 804 12 p.

Research output: Contribution to journalArticleResearchpeer-review

5 Citations (Scopus)

A Lagrangian-ACO matheuristic for car sequencing

Thiruvady, D. R., Ernst, A. T. & Wallace, M., 1 Nov 2014, In : EURO Journal on Computational Optimization. 2, 4, p. 279-296 18 p.

Research output: Contribution to journalArticleResearchpeer-review

9 Citations (Scopus)

A lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows

Thiruvady, D. R., Wallace, M., Gu, H. & Schutt, A., 2014, In : Journal of Heuristics. 20, 6, p. 643-676 34 p.

Research output: Contribution to journalArticleResearchpeer-review

7 Citations (Scopus)

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

1 Citation (Scopus)

Analytical approach to estimate delay reduction associated with bus priority measures

Truong, L. T., Currie, G., De Gruyter, C. & Wallace, M., 25 Oct 2017, In : IEEE Intelligent Transportation Systems Magazine. 9, 4, p. 91-101 11 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

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

64 Citations (Scopus)

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

5 Citations (Scopus)

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

12 Citations (Scopus)

Annals of Mathematics and Artificial Intelligence: Preface

Heipcke, S. & Wallace, M., 1 Dec 2002, In : Annals of Mathematics and Artificial Intelligence. 34, 4, p. 257-258 2 p.

Research output: Contribution to journalEditorialOtherpeer-review

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

1 Citation (Scopus)

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
1 Citation (Scopus)

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

7 Citations (Scopus)

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

A recursive scenario decomposition algorithm for combinatorial multistage stochastic optimisation problems

Hemmi, D., Tack, G. & Wallace, M., 2018, The Thirty-Second AAAI Conference on Artificial Intelligence. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1322-1329 8 p.

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

Open Access
File
2 Citations (Scopus)

A satisfiability solving approach

Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 2015, Handbook of Project Management and Scheduling Vol. 1. Schwindt, C. & Zimmermann, J. (eds.). Cham Switzerland: Springer, p. 135 - 160 26 p.

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

3 Citations (Scopus)

Bicycle lane priority: Promoting bicycle as a green mode even in congested urban area

Bagloee, S. A., Sarvi, M. & Wallace, M., 1 May 2016, In : Transportation Research, Part A: Policy and Practice. 87, p. 102-121 20 p.

Research output: Contribution to journalArticleResearchpeer-review

18 Citations (Scopus)

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

CHIP and Propia

Wallace, M. & Le Provost, T., 1 Jan 1992, Logic Programming and Automated Reasoning - International Conference LPAR 1992, Proceedings. Voronkov, A. (ed.). Springer, p. 507-509 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 624 LNAI).

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

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

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

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

7 Citations (Scopus)

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

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

5 Citations (Scopus)

Constraint logic programming – an informal introduction

Frühwirth, T., Herold, A., Küchenhoff, V., Le Provost, T., Lim, P., Monfroy, E. & Wallace, M., 1992, Logic Programming in Action - 2nd International Logic Programming Summer School, LPSS 1992, Proceedings. Comyn, G., Ratcliffe, M. J. & Fuchs, N. E. (eds.). Springer, p. 3-35 33 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 636 LNCS).

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

21 Citations (Scopus)

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

20 Citations (Scopus)

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

108 Citations (Scopus)

Constraint programming

Freuder, E. C. & Wallace, M., 1 Jan 2014, Search Methodologies: Introductory Tutorials in Optimization and Decision Support Techniques . Burke, E. K. & Kendall, G. (eds.). Second Edition ed. New York, New York: Springer, p. 369-401 33 p.

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

2 Citations (Scopus)

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

Constraint satisfaction

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

Research output: Book/ReportCommissioned ReportResearch

Coordinated transit signal priority model considering stochastic bus arrival time

Truong, L. T., Currie, G., Wallace, M., De Gruyter, C. & An, K., Apr 2019, In : IEEE Transactions on Intelligent Transportation Systems. 20, 4, p. 1269-1277 9 p.

Research output: Contribution to journalArticleResearchpeer-review

4 Citations (Scopus)

CP and MIP methods for ship scheduling with time-varying draft

Kelareva, E., Brand, S., Kilby, P., Thiebaux, S. & Wallace, M., 2012, Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling. McCluskey, L., Williams, B., Silva, J. R. & Bonet, B. (eds.). Palo Alto CA USA: AAAI Press, p. 110 - 118 9 p.

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

13 Citations (Scopus)

Dantzig-Wolfe decomposition and branch-and-price solving in G12

Puchinger, J., Stuckey, P. J., Wallace, M. & Brand, S., 2011, In : Constraints. 16, 1, p. 77 - 99 23 p.

Research output: Contribution to journalArticleResearchpeer-review

10 Citations (Scopus)

Does combining transit signal priority with dedicated bus lanes or queue jump lanes at multiple intersections create multiplier effects?

Truong, L. T., Currie, G., Wallace, M. & De Gruyter, C., 1 Jan 2017, In : Transportation Research Record-Series. 2647, 1, p. 80-92 13 p.

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)

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

4 Citations (Scopus)

Exact and heuristic methods for the resource-constrained net present value problem

Gu, H., Schutt, A., Stuckey, P. J., Wallace, M. G. & Chu, G., 2015, Handbook of Project Management and Scheduling Vol. 1. Schwindt, C. & Zimmermann, J. (eds.). Cham Switzerland: Springer, p. 299 - 318 20 p.

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

3 Citations (Scopus)

Explaining the cumulative propagator

Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 2011, In : Constraints. 16, 3, p. 250 - 282 33 p.

Research output: Contribution to journalArticleResearchpeer-review

47 Citations (Scopus)

Fast electrical demand optimization under real-time pricing

He, S., Wallace, M., Wilson, C. & Liebman, A., 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence (AAAI-17). Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 4935-4936 2 p.

Research output: Chapter in Book/Report/Conference proceedingConference PaperOther

Open Access
File

Fast electrical demand optimization under real-time pricing

He, S., Wallace, M., Wilson, C. & Liebman, A., 1 Jan 2017, Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, Twenty-Ninth Innovative Applications of Artificial Intelligence Conference, Seventh Symposium on Educational Advances in Artificial Intelligence. Singh, S. & Markovitch, S. (eds.). Palo Alto CA USA: Association for the Advancement of Artificial Intelligence (AAAI), Vol. 1. p. 253-259 7 p.

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

Open Access
File

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

14 Citations (Scopus)

Freight train threading with different algorithms

Senthooran, I., Wallace, M. & De Koninck, L., 2015, Integration of AI and OR Techniques in Contraint Programming: 12th International Conference, CPAIOR 2015, Proceedings. Michel, L. (ed.). Cham Switzerland: Springer, p. 393 - 409 17 p.

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

1 Citation (Scopus)

From high-level model to branch-and-price solution in G12

Puchinger, J., Stuckey, P. J., Wallace, M. & Brand, S., 2008, Proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR 2008). Perron, L. & Trick, M. A. (eds.). Berlin Germany: Springer-Verlag London Ltd., Vol. 5015. p. 218 - 232 15 p.

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

8 Citations (Scopus)

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

7 Citations (Scopus)