Mark Wallace

Orcid: 0000-0001-7326-8110

Affiliations:
  • Monash University, Australia
  • Imperial College, London, UK (2002 - 2004)
  • University of Southampton, UK (PhD 1982)


According to our database1, Mark Wallace authored at least 104 papers between 1982 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Snapshot-Optimal Real-Time Ride Sharing.
Inf., April, 2024

Efficient and Exact Public Transport Routing via a Transfer Connection Database.
Proceedings of the Seventeenth International Symposium on Combinatorial Search, 2024

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023
An exploratory study of organisational and industry drivers for the implementation of emerging technologies in logistics.
Ind. Manag. Data Syst., 2023

Human-centred feasibility restoration in practice.
Constraints An Int. J., 2023

Optimal Routing for Autonomous Vehicles in a Mixed Congested Network Considering Fairness.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2023

2022
Fast Traffic Assignment by Focusing on Changing Edge Flows (Extended Abstract).
Proceedings of the Fifteenth International Symposium on Combinatorial Search, 2022

Neighbours similar fitness and the effectiveness of restarting local search.
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022

2021
Minimal Conditions for Beneficial Local Search.
CoRR, 2021

Customised Shortest Paths Using a Distributed Reverse Oracle.
Proceedings of the Fourteenth International Symposium on Combinatorial Search, 2021

On the effectiveness of restarting local search.
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

Human-Centred Feasibility Restoration.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020
Steepest ascent can be exponential in bounded treewidth problems.
Oper. Res. Lett., 2020

The Neighbours' Similar Fitness Property for Local Search.
CoRR, 2020

A new constraint programming model and solving for the cyclic hoist scheduling problem.
Constraints An Int. J., 2020

Core-Guided Model Reformulation.
Proceedings of the Principles and Practice of Constraint Programming, 2020

Building Decision Support Systems - using MiniZinc
Springer, ISBN: 978-3-030-41731-4, 2020

2019
Coordinated Transit Signal Priority Model Considering Stochastic Bus Arrival Time.
IEEE Trans. Intell. Transp. Syst., 2019

Is perturbation an effective restart strategy?
CoRR, 2019

2018
A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing.
Proceedings of the Principles and Practice of Constraint Programming, 2018

Process Plant Layout Optimization: Equipment Allocation.
Proceedings of the Principles and Practice of Constraint Programming, 2018

A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search.
IEEE Trans. Vis. Comput. Graph., 2017

Analytical Approach to Estimate Delay Reduction Associated with Bus Priority Measures.
IEEE Intell. Transp. Syst. Mag., 2017

Scenario-Based Learning for Stochastic Combinatorial Optimisation.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2017

An Optimization Model for 3D Pipe Routing with Flexibility Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Fast Electrical Demand Optimization Under Real-Time Pricing.
Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016
Improved Linearization of Constraint Programming Models.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
A method for detecting symmetries in constraint models and its generalisation.
Constraints An Int. J., 2015

Freight Train Threading with Different Algorithms.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015

2014
A Lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows.
J. Heuristics, 2014

A Lagrangian-ACO matheuristic for car sequencing.
EURO J. Comput. Optim., 2014

Lightweight dynamic symmetry breaking.
Constraints An Int. J., 2014

The future of optimization technology.
Constraints An Int. J., 2014

Modelling with Option Types in MiniZinc.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2014

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs.
Proceedings of the IEEE Pacific Visualization Symposium, 2014

2013
Solving RCPSP/max by lazy clause generation.
J. Sched., 2013

Transport scheduling: Meeting the challenges of scale, complexity and uncertainty.
Comput. Oper. Res., 2013

Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation.
Comput. Oper. Res., 2013

Airline planning benchmark problems - Part I: : Characterising networks and demand using limited data.
Comput. Oper. Res., 2013

2012
Maximising the Net Present Value for Resource-Constrained Project Scheduling.
Proceedings of the Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems, 2012

Maximising the Net Present Value of Large Resource-Constrained Projects.
Proceedings of the Principles and Practice of Constraint Programming, 2012

CP and MIP Methods for Ship Scheduling with Time-Varying Draft.
Proceedings of the Twenty-Second International Conference on Automated Planning and Scheduling, 2012

2011
Explaining the cumulative propagator.
Constraints An Int. J., 2011

Dantzig-Wolfe decomposition and branch-and-price solving in G12.
Constraints An Int. J., 2011

Proving Symmetries by Model Transformation.
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010
Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation
CoRR, 2010

2009
On implementing symmetry detection.
Constraints An Int. J., 2009

Branch-and-Price Solving in G12.
Proceedings of the Models and Algorithms for Optimization in Logistics, 21.06., 2009

G12 - Towards the Separation of Problem Modelling and Problem Solving.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2009

Why Cumulative Decomposition Is Not as Bad as It Sounds.
Proceedings of the Principles and Practice of Constraint Programming, 2009

2008
The Effects of the Social Structure of Digital Networks on Viral Marketing Performance.
Inf. Syst. Res., 2008

The Design of the Zinc Modelling Language.
Constraints An Int. J., 2008

From High-Level Model to Branch-and-Price Solution in G12.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

A Novel Approach For Detecting Symmetries in CSP Models.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2008

Adding Search to Zinc.
Proceedings of the Principles and Practice of Constraint Programming, 2008

2007
From Zinc to Design Model.
Proceedings of the Practical Aspects of Declarative Languages, 9th International Symposium, 2007

Constraint logic programming using Eclipse.
Cambridge University Press, ISBN: 978-0-521-86628-6, 2007

2006
Constraint Logic Programming.
Proceedings of the Handbook of Constraint Programming, 2006

Integrating operations research in constraint programming.
4OR, 2006

Adding Constraint Solving to Mercury.
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006

Hybrid Algorithms in Constraint Programming.
Proceedings of the Recent Advances in Constraints, 2006

The Modelling Language Zinc.
Proceedings of the Principles and Practice of Constraint Programming, 2006

2005
The G12 Project: Mapping Solver Independent Models to Efficient Solutions.
Proceedings of the Logic Programming, 21st International Conference, 2005

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

Problem Decomposition for Traffic Diversions.
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2004

2003
Preface.
Ann. Oper. Res., 2003

Languages versus Packages for Constraint Problem Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2003

Constraint Satisfaction.
Proceedings of the Handbook of Metaheuristics, 2003

2002
Constraint Logic Programming.
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002

2001
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming.
Proceedings of the Principles and Practice of Constraint Programming, 2001

2000
Guest Editors' Introduction: Constraints.
IEEE Intell. Syst., 2000

Constraint Technology and the Commercial World (Interview).
IEEE Intell. Syst., 2000

Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem.
Electron. Notes Discret. Math., 2000

Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling.
Constraints An Int. J., 2000

Search in AI: Escaping from the CSP Straightjacket.
Proceedings of the ECAI 2000, 2000

1999
Preface: Volume 1.
Electron. Notes Discret. Math., 1999

A new approach to integrating mixed integer programming and constraint logicprogramming.
Ann. Oper. Res., 1999

ECLiPSe: Declarative Specification and Scaleable Implementation.
Proceedings of the Practical Aspects of Declarative Languages, 1999

1998
Towards a closer integration of finite domainpropagation and simplex-based algorithms.
Ann. Oper. Res., 1998

Minimal Perturbance in Dynamic Scheduling.
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.
Proceedings of the Principles and Practice of Constraint Programming, 1998

1997
An Informal Introduction to Constraint Database Systems.
Proceedings of the Constraint Databases and Their Applications, 1997

Implementing Index Data Structures Using Constraint Logic Programming.
Proceedings of the Constraint Databases and Their Applications, 1997

1996
Practical Applications of Constraint Programming.
Constraints An Int. J., 1996

An Instance of Adaptive Constraint Propagation.
Proceedings of the Second International Conference on Principles and Practice of Constraint Programming, 1996

1995
<i>Constraint-based reasoning</i> 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., 1995

Magic Checking: Constraint Checking for Database Query Optimization.
Proceedings of the Constraint Databases and Applications, 1995

1993
Tight, Consistent and Computable Completions for Unrestricted Logic Programs.
J. Log. Program., 1993

Generalized Constraint Propagation over the CLP Scheme.
J. Log. Program., 1993

Applying Constraints for Scheduling.
Proceedings of the Constraint Programming, 1993

Using Weakest Preconditions to Simplify Integrity Constraint Checking.
Proceedings of the Advances in Database Research, 1993

1992
Contraint Logic Programming - An Informal Introduction.
Proceedings of the Logic Programming in Action, 1992

CHIP and Propia.
Proceedings of the Logic Programming and Automated Reasoning, 1992

New trends in constraint logic Programming.
Proceedings of the JFPL'92, 1992

Domain Independent Propagation.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1991
Compiling Integrity Checking into Update Procedures.
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?
Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989
A Computable Semantics for General Logic Programs.
J. Log. Program., 1989

1988
Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment.
Proceedings of the Advances in Object-Oriented Database Systems, 1988

A Treatment of Negation during Partial Evaluation.
Proceedings of the Meta-Programming in Logic Programming, 1988

1987
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases.
Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986
Some Steps Towards a DBMS-based KBMS.
Proceedings of the Information Processing 86, 1986

1982
QPROC : A natural language inquiry system.
PhD thesis, 1982


  Loading...