Research Output 1984 2017

Filter
Conference Paper
2017

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: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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, p. 362 - 378 17 p.

Research output: Research - peer-reviewConference 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, Vol. 3514, p. 767 - 781 15 p.

Research output: Research - peer-reviewConference 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: ResearchConference 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, p. 591 - 605 15 p.

Research output: Research - peer-reviewConference 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: Research - peer-reviewConference 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: Research - peer-reviewConference 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, p. 746 - 761 16 p.

Research output: Research - peer-reviewConference 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, Vol. 5202, p. 624 - 629 6 p.

Research output: Research - peer-reviewConference 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, Vol. 5015, p. 158 - 172 15 p.

Research output: Research - peer-reviewConference 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, Vol. 5015, p. 218 - 232 15 p.

Research output: Research - peer-reviewConference 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: Research - peer-reviewConference 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, Vol. 4354, p. 215 - 229 15 p.

Research output: Research - peer-reviewConference 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, Vol. 4651, p. 1 - 32 32 p.

Research output: Research - peer-reviewConference 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, Vol. 3819, p. 118 - 133 16 p.

Research output: Research - peer-reviewConference 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, Vol. 4204, p. 700 - 705 6 p.

Research output: Research - peer-reviewConference 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: Research - peer-reviewConference 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, Vol. 3011, p. 348 - 363 16 p.

Research output: Research - peer-reviewConference Paper