Research Output 1984 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

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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 Paper

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

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

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

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 Paper

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 Paper