Mark Wallace

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 30

Top Topics

Traffic Assignment

Multistage Stochastic

Symmetry Breaking

Constraint Programming

Top Venues

Constraints An Int. J.

Publications

Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. AAAI (2024)
Abdallah Abu-Aisha, Mark Wallace, Daniel Harabor, Bojie Shen
Efficient and Exact Public Transport Routing via a Transfer Connection Database. SOCS (2024)
Hassan Afzaal, Mark Wallace, Irene Moser, Daniel Damir Harabor
Snapshot-Optimal Real-Time Ride Sharing. Inf. 15 (4) (2024)
Ali Davoodi, Mark Wallace, Daniel Harabor, Dong Ngoduy
Optimal Routing for Autonomous Vehicles in a Mixed Congested Network Considering Fairness. ITSC (2023)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-centred feasibility restoration in practice. Constraints An Int. J. 28 (2) (2023)
Alka Nand, Amrik Sohal, Ilya Fridman, Sairah Hussain, Mark Wallace
An exploratory study of organisational and industry drivers for the implementation of emerging technologies in logistics. Ind. Manag. Data Syst. 123 (5) (2023)
Ali Davoodi, Mark Wallace, Daniel Harabor
Fast Traffic Assignment by Focusing on Changing Edge Flows (Extended Abstract). SOCS (2022)
Aldeida Aleti, Mark Wallace, Markus Wagner
Neighbours similar fitness and the effectiveness of restarting local search. GECCO Companion (2022)
Aldeida Aleti, Mark Wallace, Markus Wagner
On the effectiveness of restarting local search. GECCO Companion (2021)
Ilankaikone Senthooran, Matthias Klapperstück, Gleb Belov, Tobias Czauderna, Kevin Leo, Mark Wallace, Michael Wybrow, Maria Garcia de la Banda
Human-Centred Feasibility Restoration. CP (2021)
Arthur Mahéo, Shizhe Zhao, Hassan Afzaal, Daniel Harabor, Peter J. Stuckey, Mark Wallace
Customised Shortest Paths Using a Distributed Reverse Oracle. SOCS (2021)
Kevin Leo, Graeme Gange, Maria Garcia de la Banda, Mark Wallace
Core-Guided Model Reformulation. CP (2020)
Mark Wallace, Aldeida Aleti
The Neighbours' Similar Fitness Property for Local Search. CoRR (2020)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. Oper. Res. Lett. 48 (3) (2020)
Mark Wallace, Neil Yorke-Smith
A new constraint programming model and solving for the cyclic hoist scheduling problem. Constraints An Int. J. 25 (3-4) (2020)
Aldeida Aleti, Mark Wallace, Markus Wagner
Is perturbation an effective restart strategy? CoRR (2019)
David A. Cohen, Martin C. Cooper, Artem Kaznatcheev, Mark Wallace
Steepest ascent can be exponential in bounded treewidth problems. CoRR (2019)
Long Tien Truong, Graham Currie, Mark Wallace, Chris De Gruyter, Kun An
Coordinated Transit Signal Priority Model Considering Stochastic Bus Arrival Time. IEEE Trans. Intell. Transp. Syst. 20 (4) (2019)
David Hemmi, Guido Tack, Mark Wallace
A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. AAAI (2018)
Gleb Belov, Tobias Czauderna, Maria Garcia de la Banda, Matthias Klapperstück, Ilankaikone Senthooran, Mitch Smith, Michael Wybrow, Mark Wallace
Process Plant Layout Optimization: Equipment Allocation. CP (2018)
Shan He, Mark Wallace, Graeme Gange, Ariel Liebman, Campbell Wilson
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. CP (2018)
Gleb Belov, Tobias Czauderna, Amel Dzaferovic, Maria Garcia de la Banda, Michael Wybrow, Mark Wallace
An Optimization Model for 3D Pipe Routing with Flexibility Constraints. CP (2017)
Long Tien Truong, Graham Currie, Mark Wallace, Chris De Gruyter
Analytical Approach to Estimate Delay Reduction Associated with Bus Priority Measures. IEEE Intell. Transp. Syst. Mag. 9 (4) (2017)
David Hemmi, Guido Tack, Mark Wallace
Scenario-Based Learning for Stochastic Combinatorial Optimisation. CPAIOR (2017)
Sarah Goodwin, Christopher Mears, Tim Dwyer, Maria Garcia de la Banda, Guido Tack, Mark Wallace
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. IEEE Trans. Vis. Comput. Graph. 23 (1) (2017)
Shan He, Mark Wallace, Campbell Wilson, Ariel Liebman
Fast Electrical Demand Optimization Under Real-Time Pricing. AAAI (2017)
Shan He, Mark Wallace, Campbell Wilson, Ariel Liebman
Fast Electrical Demand Optimization Under Real-Time Pricing. AAAI Workshops (2017)
Gleb Belov, Peter J. Stuckey, Guido Tack, Mark Wallace
Improved Linearization of Constraint Programming Models. CP (2016)
Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck
Freight Train Threading with Different Algorithms. CPAIOR (2015)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace, Bart Demoen
A method for detecting symmetries in constraint models and its generalisation. Constraints An Int. J. 20 (2) (2015)
Christopher Mears, Maria Garcia de la Banda, Bart Demoen, Mark Wallace
Lightweight dynamic symmetry breaking. Constraints An Int. J. 19 (3) (2014)
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. PacificVis (2014)
Christopher Mears, Andreas Schutt, Peter J. Stuckey, Guido Tack, Kim Marriott, Mark Wallace
Modelling with Option Types in MiniZinc. CPAIOR (2014)
Maria Garcia de la Banda, Peter J. Stuckey, Pascal Van Hentenryck, Mark Wallace
The future of optimization technology. Constraints An Int. J. 19 (2) (2014)
Dhananjay R. Thiruvady, Mark Wallace, Hanyu Gu, Andreas Schutt
A Lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows. J. Heuristics 20 (6) (2014)
Dhananjay R. Thiruvady, Andreas T. Ernst, Mark Wallace
A Lagrangian-ACO matheuristic for car sequencing. EURO J. Comput. Optim. 2 (4) (2014)
Tim Dwyer, Christopher Mears, Kerri Morgan, Todd Niven, Kim Marriott, Mark Wallace
Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. CoRR (2013)
Kerem Akartunali, Natashia Boland, Ian Evans, Mark Wallace, Hamish Waterer
Airline planning benchmark problems - Part I: : Characterising networks and demand using limited data. Comput. Oper. Res. 40 (3) (2013)
Mark Wallace, Natashia Boland, Edmund K. Burke
Transport scheduling: Meeting the challenges of scale, complexity and uncertainty. Comput. Oper. Res. 40 (3) (2013)
Kerem Akartunali, Natashia Boland, Ian Evans, Mark Wallace, Hamish Waterer
Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation. Comput. Oper. Res. 40 (3) (2013)
Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace
CP and MIP Methods for Ship Scheduling with Time-Varying Draft. ICAPS (2012)
Christopher Mears, Todd Niven, Marcel Jackson, Mark Wallace
Proving Symmetries by Model Transformation. CP (2011)
Michela Milano, Mark Wallace
Integrating Operations Research in Constraint Programming. Ann. Oper. Res. 175 (1) (2010)
Andreas Schutt, Thibaut Feydy, Peter J. Stuckey, Mark Wallace
Why Cumulative Decomposition Is Not as Bad as It Sounds. CP (2009)
Mark Wallace
G12 - Towards the Separation of Problem Modelling and Problem Solving. CPAIOR (2009)
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand
Branch-and-Price Solving in G12. Models and Algorithms for Optimization in Logistics (2009)
Christopher Mears, Maria Garcia de la Banda, Mark Wallace
On implementing symmetry detection. Constraints An Int. J. 14 (4) (2009)
Christopher Mears, Maria J. García de la Banda, Mark Wallace, Bart Demoen
A Novel Approach For Detecting Symmetries in CSP Models. CPAIOR (2008)
Jakob Puchinger, Peter J. Stuckey, Mark Wallace, Sebastian Brand
From High-Level Model to Branch-and-Price Solution in G12. CPAIOR (2008)
Reza Rafeh, Kim Marriott, Maria Garcia de la Banda, Nicholas Nethercote, Mark Wallace
Adding Search to Zinc. CP (2008)
Mauro Bampo, Michael T. Ewing, Dineli R. Mather, David Stewart, Mark Wallace
The Effects of the Social Structure of Digital Networks on Viral Marketing Performance. Inf. Syst. Res. 19 (3) (2008)
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace
The Design of the Zinc Modelling Language. Constraints An Int. J. 13 (3) (2008)
Reza Rafeh, Maria J. García de la Banda, Kim Marriott, Mark Wallace
From Zinc to Design Model. PADL (2007)
Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace
Adding Constraint Solving to Mercury. PADL (2006)
Mark Wallace
Hybrid Algorithms in Constraint Programming. CSCLP (2006)
Michela Milano, Mark Wallace
Integrating operations research in constraint programming. 4OR 4 (3) (2006)
Maria J. García de la Banda, Kim Marriott, Reza Rafeh, Mark Wallace
The Modelling Language Zinc. CP (2006)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. CP (2005)
Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace, Toby Walsh
The G12 Project: Mapping Solver Independent Models to Efficient Solutions. ICLP (2005)
Quanshi Xia, Andrew Eremin, Mark Wallace
Problem Decomposition for Traffic Diversions. CPAIOR (2004)
Mark Wallace, Joachim Schimpf, Kish Shen, Warwick Harvey
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's "A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains". Constraints An Int. J. 9 (1) (2004)
Carmen Gervet, Mark Wallace
Preface. Ann. Oper. Res. 118 (1-4) (2003)
Mark Wallace
Languages versus Packages for Constraint Problem Solving. CP (2003)
Mark Wallace
Constraint Logic Programming. Computational Logic: Logic Programming and Beyond (2002)
Mark Wallace, Joachim Schimpf
Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Ann. Math. Artif. Intell. 34 (4) (2002)
Andrew Eremin, Mark Wallace
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. CP (2001)
Hani El Sakkout, Mark Wallace
Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. Constraints An Int. J. 5 (4) (2000)
Eugene C. Freuder, Mark Wallace
Guest Editors' Introduction: Constraints. IEEE Intell. Syst. 15 (1) (2000)
Mark Wallace
Search in AI: Escaping from the CSP Straightjacket. ECAI (2000)
Joachim Schimpf, Mark Wallace
Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. Electron. Notes Discret. Math. 4 (2000)
Eugene C. Freuder, Mark Wallace
Constraint Technology and the Commercial World (Interview). IEEE Intell. Syst. 15 (1) (2000)
Mark Wallace, Joachim Schimpf
ECLiPSe: Declarative Specification and Scaleable Implementation. PADL (1999)
Mark Wallace, Yves Caseau, Eric Jacquet-Lagrèze, Helmut Simonis, Gilles Pesant
Preface: Volume 1. Electron. Notes Discret. Math. 1 (1999)
Robert Rodosek, Mark Wallace
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. CP (1998)
Hani El Sakkout, T. Richards, Mark Wallace
Minimal Perturbance in Dynamic Scheduling. ECAI (1998)
Mozafar T. Hajian, Hani El Sakkout, Mark Wallace, Jonathan M. Lever, Barry Richards
Towards a closer integration of finite domainpropagation and simplex-based algorithms. Ann. Oper. Res. 81 (1998)
Stéphane Bressan, Alan P. Sexton, Mark Wallace
Implementing Index Data Structures Using Constraint Logic Programming. CDB (1997)
Volker Gaede, Mark Wallace
An Informal Introduction to Constraint Database Systems. CDB (1997)
Mark Wallace
Practical Applications of Constraint Programming. Constraints An Int. J. 1 (1/2) (1996)
Hani El Sakkout, Mark Wallace, Barry Richards
An Instance of Adaptive Constraint Propagation. CP (1996)
Mark Wallace
by E. C. Freuder and A. K. Mackworth (Eds), MIT Press, Cambridge, MA, 1994, pp 403, £31.50/$47.25, ISBN 0-262-56075-5. Knowl. Eng. Rev. 10 (2) (1995)
Mark Wallace, Stéphane Bressan, Thierry Le Provost
Magic Checking: Constraint Checking for Database Query Optimization. CDB (1995)
Mark Wallace
Tight, Consistent and Computable Completions for Unrestricted Logic Programs. J. Log. Program. 15 (3) (1993)
Mark Wallace
Applying Constraints for Scheduling. NATO ASI CP (1993)
Michael Lawley, Rodney W. Topor, Mark Wallace
Using Weakest Preconditions to Simplify Integrity Constraint Checking. Australian Database Conference (1993)
Thierry Le Provost, Mark Wallace
Generalized Constraint Propagation over the CLP Scheme. J. Log. Program. 16 (3) (1993)
Thom W. Frühwirth, Alexander Herold, Volker Küchenhoff, Thierry Le Provost, Pierre Lim, Éric Monfroy, Mark Wallace
Contraint Logic Programming - An Informal Introduction. Logic Programming Summer School (1992)
Mark Wallace, Thierry Le Provost
CHIP and Propia. LPAR (1992)
Thierry Le Provost, Mark Wallace
Domain Independent Propagation. FGCS (1992)
Mark Wallace
New trends in constraint logic Programming. JFPL (1992)
Mark Wallace
Compiling Integrity Checking into Update Procedures. IJCAI (1991)
Mark Wallace
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? ECAI (1990)
Mark Wallace
A Computable Semantics for General Logic Programs. J. Log. Program. 6 (3) (1989)
David Chan, Mark Wallace
A Treatment of Negation during Partial Evaluation. META (1988)
Johann Christoph Freytag, Rainer Manthey, Mark Wallace
Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. OODBS (1988)
Mark Wallace
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. SLP (1987)
Jorge B. Bocca, Hendrik Decker, Jean-Marie Nicolas, Laurent Vieille, Mark Wallace
Some Steps Towards a DBMS-based KBMS. IFIP Congress (1986)