Mark Wallace

发表

Freight Train Threading with Different Algorithms

Ilankaikone Senthooran, Mark Wallace, Leslie De Koninck, 2015, CPAIOR.

Constraint Satisfaction

Eugene C. Freuder, Mark Wallace, M. Wallace, 2003, Handbook of Metaheuristics.

The many roads leading to Rome: Solving zinc models by various solvers

Peter J. Stuckey, Kim Marriott, Mark Wallace, 2008 .

2018 Mars Insight mission design and navigation overview

Mark Wallace, Yungsun Hahn, Fernando Abilleira, 2018 .

A Novel Approach For Detecting Symmetries in CSP Models

Bart Demoen, Christopher Mears, Mark Wallace, 2008, CPAIOR.

Integrating operations research in constraint programming

Mark Wallace, Michela Milano, M. Wallace, 2006, 4OR.

An improved Lagrangian relaxation method for maximising the net present value of large resource-constrained projects [Abstract]

Peter J. Stuckey, Mark Wallace, Hanyu Gu, 2012 .

Constraint logic programming for scheduling and planning

Mark Wallace, Jonathan M. Lever, Barry Richards, 1995 .

Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?

Mark Wallace, M. Wallace, 1990, ECAI.

The future of optimization technology

Pascal Van Hentenryck, Peter J. Stuckey, Mark Wallace, 2013, Constraints.

Generalized Constraint Propagation over the CLP Scheme

Mark Wallace, Thierry Le Provost, M. Wallace, 1993, J. Log. Program..

An Optimization Model for 3D Pipe Routing with Flexibility Constraints

Mark Wallace, Gleb Belov, Maria Garcia de la Banda, 2017, CP.

Some Steps Towards a DBMS-based KBMS

Hendrik Decker, Mark Wallace, Jean-Marie Nicolas, 1986, IFIP Congress.

A Constraint Logic Programming Based Approach to the International Timetabling Competition

Mark Wallace, Patrick Pleass, Mauro Bampo, 2006 .

A Treatment of Negation during Partial Evaluation

Mark Wallace, David Chan, Mark Wallace, 1989, META.

The Effects of the Social Structure of Digital Networks on Viral Marketing Performance

Mark Wallace, David Stewart, Mauro Bampo, 2008, Inf. Syst. Res..

Constraint Logic Programming

Peter J. Stuckey, Kim Marriott, Mark Wallace, 1992, Handbook of Constraint Programming.

A Computable Semantics for General Logic Programs

Mark Wallace, 1989, J. Log. Program..

Why Cumulative Decomposition Is Not as Bad as It Sounds

Peter J. Stuckey, Mark Wallace, Thibaut Feydy, 2009, CP.

Compiling Integrity Checking into Update Procedures

Mark Wallace, 1991, IJCAI.

Process Plant Layout Optimization: Equipment Allocation

Matthias Klapperstück, Ilankaikone Senthooran, Mark Wallace, 2018, CP.

Towards a closer integration of finite domainpropagation and simplex-based algorithms

Mark Wallace, Barry Richards, Jonathan M. Lever, 1998, Ann. Oper. Res..

The G12 Project: Mapping Solver Independent Models to Efficient Solutions

Michael J. Maher, Toby Walsh, Peter J. Stuckey, 2005, CP.

Problem Decomposition for Traffic Diversions

Mark Wallace, Andrew Eremin, Quanshi Xia, 2004, CPAIOR.

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases

Mark Wallace, M. Wallace, 1987, SLP.

Improved Linearization of Constraint Programming Models

Peter J. Stuckey, Mark Wallace, Gleb Belov, 2016, CP.

Magic Checking: Constraint Checking for Database Query Optimization

Stéphane Bressan, Mark Wallace, Thierry Le Provost, 1995, CDB.

Constraint Logic Programming

Thom W. Frühwirth, Mark Wallace, M. Wallace, 1992 .

Adding Search to Zinc

Kim Marriott, Mark Wallace, Maria Garcia de la Banda, 2008, CP.

On implementing symmetry detection

Christopher Mears, Mark Wallace, Maria Garcia de la Banda, 2009, Constraints.

Implementing Index Data Structures Using Constraint Logic Programming

Stéphane Bressan, Mark Wallace, Alan P. Sexton, 1997, CDB.

Scenario-Based Learning for Stochastic Combinatorial Optimisation

Mark Wallace, David Hemmi, Guido Tack, 2017, CPAIOR.

Fast Electrical Demand Optimization Under Real-Time Pricing

Mark Wallace, Campbell Wilson, Shan He, 2017, AAAI.

The Modelling Language Zinc

Kim Marriott, Mark Wallace, Maria Garcia de la Banda, 2006, CP.

Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation

Mark Wallace, Natashia Boland, Kerem Akartunali, 2013, Comput. Oper. Res..

Final mission and navigation design for the 2016 Mars InSight Mission

Mark Wallace, Fernando Abilleira, Allen Halsell, 2016 .

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs

Kerri Morgan, Kim Marriott, Christopher Mears, 2013, 2014 IEEE Pacific Visualization Symposium.

Ship Speed Optimisation with Time-Varying Draft Restrictions

Mark Wallace, Philip Kilby, Sylvie Thiébaux, 2013 .

Proving Symmetries by Model Transformation

Christopher Mears, Mark Wallace, Todd Niven, 2011, CP.

Integrating Operations Research in Constraint Programming

Mark Wallace, Michela Milano, M. Wallace, 2010, Ann. Oper. Res..

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search

Christopher Mears, Mark Wallace, Maria Garcia de la Banda, 2017, IEEE Transactions on Visualization and Computer Graphics.

A Lagrangian-ACO matheuristic for car sequencing

Andreas T. Ernst, Mark Wallace, Dhananjay R. Thiruvady, 2014, EURO J. Comput. Optim..

An Informal Introduction to Constraint Database Systems

Mark Wallace, Volker Gaede, V. Gaede, 1997, CDB.

From Zinc to Design Model

Kim Marriott, Mark Wallace, Maria Garcia de la Banda, 2007, PADL.

Steepest ascent can be exponential in bounded treewidth problems

Martin C. Cooper, Mark Wallace, Artem Kaznatcheev, 2020, Oper. Res. Lett..

CHIP and Propia

Mark Wallace, Thierry Le Provost, 1992, LPAR.

Is perturbation an effective restart strategy? pdf

Mark Wallace, Markus Wagner, Aldeida Aleti, 2019, ArXiv.

Constraint Logic Programming

Mark Wallace, Peter James Stuckey, K. Marriott, 1992, Handbook of Constraint Programming.

Hybrid Benders Decomposition Algorithms in Constraint Logic Programming

Mark Wallace, Andrew Eremin, 2001, CP.

From High-Level Model to Branch-and-Price Solution in G12

Peter J. Stuckey, Mark Wallace, Jakob Puchinger, 2008, CPAIOR.

Guest Editors' Introduction: Constraints

Eugene C. Freuder, Mark Wallace, M. Wallace, 2000, IEEE Intell. Syst..

Adding Constraint Solving to Mercury

Peter J. Stuckey, Kim Marriott, Mark Wallace, 2006, PADL.

Preface: Volume 1

Helmut Simonis, Gilles Pesant, Mark Wallace, 1999, Electron. Notes Discret. Math..

A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems

Mark Wallace, Robert Rodosek, M. Wallace, 1998, CP.

Preface

Carmen Gervet, Mark Wallace, C. Gervet, 2003, Ann. Oper. Res..

Languages versus Packages for Constraint Problem Solving

Mark Wallace, M. Wallace, 2003, CP.

Ship Scheduling with Time-Varying Draft [Abstract]

Mark Wallace, Philip Kilby, Sylvie Thiébaux, 2012 .

Constraint logic programming using Eclipse

Krzysztof R. Apt, Mark Wallace, K. Apt, 2007 .

Transport scheduling: Meeting the challenges of scale, complexity and uncertainty

Edmund K. Burke, Mark Wallace, Natashia Boland, 2013, Comput. Oper. Res..

Constraints [Guest Editor's Introduction]

Eugene C. Freuder, Mark Wallace, 2000 .

Navigation performance of the 2018 InSight Mars Lander mission

Mark Wallace, Allen Halsell, Min-Kun Chung, 2019 .

Simulation and modeling for the Stand-Off Radiation Detection System (SORDS) using GEANT4

Mark Wallace, Michal Mocko, Mark Galassi, 2009, 2009 IEEE Nuclear Science Symposium Conference Record (NSS/MIC).

The Neighbours' Similar Fitness Property for Local Search pdf

Mark Wallace, Aldeida Aleti, 2020, ArXiv.

Modelling with Option Types in MiniZinc

Peter J. Stuckey, Kim Marriott, Christopher Mears, 2014, CPAIOR.

Finding the Right Hybrid Algorithm – A Combinatorial Meta-Problem

Mark Wallace, Joachim Schimpf, M. Wallace, 2002, Annals of Mathematics and Artificial Intelligence.

Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment

Mark Wallace, Rainer Manthey, Johann-Christoph Freytag, 1988, OODBS.

Constraint Logic Programming Using ECL i PS e : A reconstruction of pure Prolog

Krzysztof R. Apt, Mark Wallace, K. Apt, 2006 .

CP and MIP Methods for Ship Scheduling with Time-Varying Draft

Mark Wallace, Philip Kilby, Sylvie Thiébaux, 2012, ICAPS.

Using Weakest Preconditions to Simplify Integrity Constraint Checking

Mark Wallace, Michael Lawley, Rodney W. Topor, 1993, Australian Database Conference.

Hybrid Algorithms in Constraint Programming

Mark Wallace, M. Wallace, 2006, CSCLP.

A new constraint programming model and solving for the cyclic hoist scheduling problem

Mark Wallace, Neil Yorke-Smith, N. Yorke-Smith, 2020, Constraints An Int. J..

Branch-and-Price Solving in G12

Peter J. Stuckey, Mark Wallace, Jakob Puchinger, 2009, Models and Algorithms for Optimization in Logistics.

Search in AI: Escaping from the CSP Straightjacket

Mark Wallace, M. Wallace, 2000, ECAI.

Applying Constraints for Scheduling

Mark Wallace, M. Wallace, 1993, NATO ASI CP.

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”

Mark Wallace, Kish Shen, Warwick Harvey, 2004, Constraints.

A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems

Mark Wallace, David Hemmi, Guido Tack, 2018, AAAI.

New trends in constraint logic Programming

Mark Wallace, M. Wallace, 1992, JFPL.

Core-Guided Model Reformulation

Mark Wallace, Maria Garcia de la Banda, Graeme Gange, 2020, CP.

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

Mark Wallace, M. Wallace, 1995, The Knowledge Engineering Review.

Contraint Logic Programming - An Informal Introduction

Thom W. Frühwirth, Mark Wallace, Eric Monfroy, 1992, Logic Programming Summer School.

TR-2006013: The Dom Event and Its Use in Implementing Constraint Propagators

Peter J. Stuckey, Neng-Fa Zhou, Mark Wallace, 2006 .

The G12 Project: Mapping Solver Independent Models to Efficient Solutions

Michael J. Maher, Toby Walsh, Peter J. Stuckey, 2005, ICLP.

Domain Independent Propagation

Mark Wallace, Thierry Le Provost, M. Wallace, 1992, FGCS.

A method for detecting symmetries in constraint models and its generalisation

Bart Demoen, Christopher Mears, Mark Wallace, 2014, Constraints.

Tight, Consistent and Computable Completions for Unrestricted Logic Programs

Mark Wallace, M. Wallace, 1993, J. Log. Program..

G12 - Towards the Separation of Problem Modelling and Problem Solving

Mark Wallace, 2009, CPAIOR.

Practical applications of constraint programming

Mark Wallace, M. Wallace, 2004, Constraints.

An Instance of Adaptive Constraint Propagation

Mark Wallace, Barry Richards, Hani El Sakkout, 1996, CP.

Airline planning benchmark problems - Part I: : Characterising networks and demand using limited data

Mark Wallace, Natashia Boland, Kerem Akartunali, 2013, Comput. Oper. Res..

The Design of the Zinc Modelling Language

Peter J. Stuckey, Kim Marriott, Mark Wallace, 2008, Constraints.

Lightweight dynamic symmetry breaking

Bart Demoen, Christopher Mears, Mark Wallace, 2014, Constraints.

Constraint Technology and the Commercial World (Interview)

Eugene C. Freuder, Mark Wallace, M. Wallace, 2000, IEEE Intell. Syst..

Towards the new modelling language Zinc

Kimbal George Marriott, Mark Wallace, Maria Garcia de la Banda, 2005 .

Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem

Mark Wallace, Joachim Schimpf, 2000, Electron. Notes Discret. Math..

Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling

Mark Wallace, Hani El Sakkout, M. Wallace, 2000, Constraints.

A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing

Mark Wallace, Campbell Wilson, Shan He, 2018, CP.

ECLiPSe: Declarative Specification and Scaleable Implementation

Mark Wallace, Joachim Schimpf, 1999, PADL.

Modelling RTP-based residential load scheduling for demand response in smart grids

Mark Wallace, Campbell Wilson, Shan He, 2014 .

On the effectiveness of restarting local search

Markus Wagner, Mark Wallace, Aldeida Aleti, 2021, GECCO Companion.

Human-Centred Feasibility Restoration

Matthias Klapperstück, Ilankaikone Senthooran, Mark Wallace, 2021, CP.

Minimal Perturbance in Dynamic Scheduling

Mark Wallace, Hani El Sakkout, T. Richards, 1998, ECAI.

Constraint Logic Programming Using ECL i PS e : Logic programming and pure Prolog

Krzysztof R. Apt, Mark Wallace, K. Apt, 2006 .

Minimal Perturbation in Dynamic Scheduling

Mark Wallace, Hani El Sakkout, Thomas Richards, 1998 .

CP Summer School: Hybrid algorithms, local search, and Eclipse

Mark Wallace, M. Wallace, 2005 .

Principles and practice of constraint programming - CP 2004 : 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004 : proceedings

Mark Wallace, 2004 .

Constraint Logic Programming Using ECL i PS e : Constraint programming: a primer

Krzysztof R. Apt, Mark Wallace, K. Apt, 2006 .

Constraint Logic Programming B An Informal Introduction *

Mark Wallace, Eric Monfroy, Thierry Le Provost, 2005 .

Survey: Practical Applications of Constraint Programming

Mark Wallace, M. Wallace, W. Penney, 1996 .