Mark Wallace

According to our database1, Mark Wallace authored at least 89 papers between 1982 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

2019
Coordinated Transit Signal Priority Model Considering Stochastic Bus Arrival Time.
IEEE Trans. Intelligent Transportation Systems, 2019

Is perturbation an effective restart strategy?
CoRR, 2019

Steepest ascent can be exponential in bounded treewidth problems.
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. Transport. 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 Workshops of the 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, 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. Computational Optimization, 2014

Lightweight dynamic symmetry breaking.
Constraints, 2014

The future of optimization technology.
Constraints, 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. Scheduling, 2013

Transport scheduling: Meeting the challenges of scale, complexity and uncertainty.
Computers & OR, 2013

Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation.
Computers & OR, 2013

Airline planning benchmark problems - Part I: : Characterising networks and demand using limited data.
Computers & OR, 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, 2011

Dantzig-Wolfe decomposition and branch-and-price solving in G12.
Constraints, 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

Integrating Operations Research in Constraint Programming.
Annals OR, 2010

2009
On implementing symmetry detection.
Constraints, 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.
Information Systems Research, 2008

The Design of the Zinc Modelling Language.
Constraints, 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

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, 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.
Annals OR, 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 Intelligent Systems, 2000

Constraint Technology and the Commercial World (Interview).
IEEE Intelligent Systems, 2000

Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem.
Electronic Notes in Discrete Mathematics, 2000

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

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

1999
Preface: Volume 1.
Electronic Notes in Discrete Mathematics, 1999

A new approach to integrating mixed integer programming and constraint logicprogramming.
Annals OR, 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.
Annals OR, 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, 1996

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

1995
Constraint-based reasoning 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.
Knowledge Eng. Review, 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...