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

Research Output 1984 2019

Filter
Conference Paper
2018

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

A recursive scenario decomposition algorithm for combinatorial multistage stochastic optimisation problems

Hemmi, D., Tack, G. & Wallace, M., 2018, Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-18 ): New Orleans, Louisiana USA — February 2–7, 2018. McIlraith, S. & Weinberger, K. (eds.). Palo Alto CAL USA: Association for the Advancement of Artificial Intelligence (AAAI), p. 1322-1329 8 p.

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

Process plant layout optimization: equipment allocation

Belov, G., Czauderna, T., de la Banda, M. G., Klapperstueck, M., Senthooran, I., Smith, M., Wybrow, M. & Wallace, M., 23 Aug 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. 473-489 17 p. (Lecture Notes in Computer Science; vol. 11008 ).

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

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

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

Scenario-based learning for stochastic combinatorial optimisation

Hemmi, D., Tack, G. & Wallace, M., 2017, Integration of AI and OR Techniques in Constraint Programming : 14th International Conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017, Proceedings. Salvagnin, D. & Lombardi, M. (eds.). Cham, Switzerland: Springer, p. 277-292 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10335 ).

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

2016

Improved linearization of constraint programming models

Belov, G., Stuckey, P. J., Tack, G. & Wallace, 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. 49-65 17 p. (Lecture Notes in Computer Science; vol. 9892).

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

2015

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

2014

Improved optimal and approximate power graph compression for clearer visualisation of dense graphs

Dwyer, T. G., Mears, C. D., Morgan, K. J-A., Niven, T. M., Marriott, K. G. & Wallace, M., 2014, Proceedings of the 2014 IEEE Pacific Visualization Symposium (PacificVis 2014). Brandes, U., Hagen, H. & Takahashi, S. (eds.). Los Alamitos CA USA: IEEE Computer Society, p. 105 - 112 8 p.

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

Modelling RTP-based residential load scheduling for demand response in smart grids

He, S., Liebman, A., Rendl, A., Wallace, M. & Wilson, C. C., 2014, Proceedings of the Thirteenth International Workshop on Constraint Modelling and Reformulation (ModRef 2014). Ansotegui, C. (ed.). Lleida Spain: Universitat de Lleida, p. 36 - 51 16 p.

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

Modelling with option types in MiniZinc

Mears, C. D., Schutt, A., Stuckey, P. J., Tack, G., Marriott, K. G. & Wallace, M., 2014, Integration of AI and OR Techniques in Contraint Programming: 11th International Conference, CPAIOR 2014, Proceedings. Simonis, H. (ed.). Cham Switzerland: Springer, p. 88 - 103 16 p.

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

2012

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

Maximising the net present value for resource-constrained project scheduling

Schutt, A., Chu, G., Stuckey, P. J. & Wallace, M., 2012, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: 9th International Conference, Proceedings. Beldiceanu, N., Jussien, N. & Pinson, E. (eds.). Berlin Germany: Springer-Verlag London Ltd., p. 362 - 378 17 p.

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

Maximising the net present value of large resource-constrained projects

Gu, H., Stuckey, P. J. & Wallace, M., 2012, Principles and Practice of Constraint Programming: 18th International Conference, Proceedings. Milano, M. (ed.). Berlin Germany: Springer-Verlag London Ltd., Vol. 3514. p. 767 - 781 15 p.

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

Rail disruption: Passenger focused recovery

Boland, N., Evans, I., Mears, C., Niven, T., Pattison, M., Wallace, M. & Waterer, H., 2012, Computers in Railways XIII: Computer System Design and Operation in the Railway and Other Transit Systems: [Thirteenth International Conference on Design and Operation in Railway Engineering] [proceedings]. Brebbia, C. A., Tomii, N., Mera, J. M., Ning, B. & Tzieropoulos, P. (eds.). Southampton, UK: WIT Press, p. 543-553 11 p. (WIT Transactions on the Built Environment; vol. 127).

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

Open Access
File
2011

Proving symmetries by model transformation

Mears, C., Niven, T., Jackson, M. & Wallace, M., 2011, Proceedings of the 17th International Conference on Principles and Practice of Constraint Programming. Lee, J. (ed.). Berlin Germany: Springer-Verlag London Ltd., p. 591 - 605 15 p.

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

2009

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

G12 - Towards the separation of problem modelling and problem solving

Wallace, M., 2009, Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems - 6th International Conference, CPAIOR 2009, Proceedings. Vol. 5547 LNCS. p. 8-10 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5547 LNCS).

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

Why cumulative decomposition is not as bad as it sounds

Schutt, A., Feydy, T., Stuckey, P. J. & Wallace, M., 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. 746 - 761 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

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

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

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

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

2004

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

1999

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

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

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