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

Research Output 1984 2019

Filter
Conference Paper
1987
13 Citations (Scopus)

Negation by constraints: a sound and efficient implementation of negation in deductive databases

Wallace, M., 1 Dec 1987, Symposium on Logic Programming. Los Angeles, Calif.: Wiley-Blackwell, p. 253-263 11 p.

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

1988
1 Citation (Scopus)

Mapping object-oriented concepts into relational concepts by meta-compilation in a logic programming environment

Freytag, J. C., Manthey, R. & Wallace, M., 1988, Advances in Object-Oriented Database Systems - 2nd International Workshop on Object-Oriented Database Systems, Proceedings. Dittrich, K. R. (ed.). Springer, p. 204-208 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 334 LNCS).

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

1992

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

21 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

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

12 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

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

2 Citations (Scopus)

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

1998
29 Citations (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

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

2004
11 Citations (Scopus)

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

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

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

19 Citations (Scopus)

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

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

7 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

3 Citations (Scopus)

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

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

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

8 Citations (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

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

3 Citations (Scopus)

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

37 Citations (Scopus)

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

2011
6 Citations (Scopus)

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

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

17 Citations (Scopus)

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

3 Citations (Scopus)

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
2014
12 Citations (Scopus)

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

5 Citations (Scopus)

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

2015
1 Citation (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

2016
11 Citations (Scopus)

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

2017
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

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
2 Citations (Scopus)

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

2018
1 Citation (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

2 Citations (Scopus)

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

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