QPROC : A natural language inquiry system. - Mark G. Wallace 001 (1982)

Some Steps Towards a DBMS-based KBMS. - Jorge B. Bocca; Hendrik Decker; Jean-Marie Nicolas 001; Laurent Vieille; Mark Wallace 001 (IFIP Congress, 1986)

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases. - Mark Wallace 001 (SLP, 1987)

A Treatment of Negation during Partial Evaluation. - David Chan; Mark Wallace 001 (META, 1988)

Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment. - Johann Christoph Freytag; Rainer Manthey; Mark Wallace 001 (OODBS, 1988)

A Computable Semantics for General Logic Programs. - Mark Wallace 001 (J. Log. Program., 1989)

Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady? - Mark Wallace 001 (ECAI, 1990)

Compiling Integrity Checking into Update Procedures. - Mark Wallace 001 (IJCAI, 1991)

Domain Independent Propagation. - Thierry Le Provost; Mark Wallace 001 (FGCS, 1992)

New trends in constraint logic Programming. - Mark Wallace 001 (JFPL, 1992)

CHIP and Propia. - Mark Wallace 001; Thierry Le Provost (LPAR, 1992)

Contraint Logic Programming - An Informal Introduction. - Thom W. Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Éric Monfroy; Mark Wallace 001 (Logic Programming Summer School, 1992)

Using Weakest Preconditions to Simplify Integrity Constraint Checking. - Michael Lawley; Rodney W. Topor; Mark Wallace 001 (Australian Database Conference, 1993)

Applying Constraints for Scheduling. - Mark Wallace 001 (NATO ASI CP, 1993)

Generalized Constraint Propagation over the CLP Scheme. - Thierry Le Provost; Mark Wallace 001 (J. Log. Program., 1993)

Tight, Consistent and Computable Completions for Unrestricted Logic Programs. - Mark Wallace 001 (J. Log. Program., 1993)

Magic Checking: Constraint Checking for Database Query Optimization. - Mark Wallace 001; Stéphane Bressan; Thierry Le Provost (CDB, 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. - Mark Wallace 001 (Knowl. Eng. Rev., 1995)

An Instance of Adaptive Constraint Propagation. - Hani El Sakkout; Mark Wallace 001; Barry Richards (CP, 1996)

Practical Applications of Constraint Programming. - Mark Wallace 001 (Constraints An Int. J., 1996)

Implementing Index Data Structures Using Constraint Logic Programming. - Stéphane Bressan; Alan P. Sexton; Mark Wallace 001 (CDB, 1997)

An Informal Introduction to Constraint Database Systems. - Volker Gaede; Mark Wallace 001 (CDB, 1997)

A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems. - Robert Rodosek; Mark Wallace 001 (CP, 1998)

Minimal Perturbance in Dynamic Scheduling. - Hani El Sakkout; T. Richards; Mark Wallace 001 (ECAI, 1998)

Towards a closer integration of finite domainpropagation and simplex-based algorithms. - Mozafar T. Hajian; Hani El Sakkout; Mark Wallace 001; Jonathan M. Lever; Barry Richards (Ann. Oper. Res., 1998)

ECLiPSe: Declarative Specification and Scaleable Implementation. - Mark Wallace 001; Joachim Schimpf (PADL, 1999)

A new approach to integrating mixed integer programming and constraint logicprogramming. - R. Rodosek; Mark G. Wallace 001; M. T. Hajian (Ann. Oper. Res., 1999)

Preface: Volume 1. - Mark Wallace 001; Yves Caseau; Eric Jacquet-Lagrèze; Helmut Simonis; Gilles Pesant (Electron. Notes Discret. Math., 1999)

Search in AI: Escaping from the CSP Straightjacket. - Mark Wallace 001 (ECAI, 2000)

Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling. - Hani El Sakkout; Mark Wallace 001 (Constraints An Int. J., 2000)

Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem. - Joachim Schimpf; Mark Wallace 001 (Electron. Notes Discret. Math., 2000)

Constraint Technology and the Commercial World (Interview). - Eugene C. Freuder; Mark Wallace 001 (IEEE Intell. Syst., 2000)

Guest Editors' Introduction: Constraints. - Eugene C. Freuder; Mark Wallace 001 (IEEE Intell. Syst., 2000)

Hybrid Benders Decomposition Algorithms in Constraint Logic Programming. - Andrew Eremin; Mark Wallace 001 (CP, 2001)

Constraint Logic Programming. - Mark Wallace 001 (Computational Logic: Logic Programming and Beyond, 2002)

Constraint Satisfaction. - Eugene C. Freuder; Mark Wallace 001 (Handbook of Metaheuristics, 2003)

Languages versus Packages for Constraint Problem Solving. - Mark Wallace 001 (CP, 2003)

Preface. - Carmen Gervet; Mark Wallace 001 (Ann. Oper. Res., 2003)

Problem Decomposition for Traffic Diversions. - Quanshi Xia; Andrew Eremin; Mark Wallace 001 (CPAIOR, 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". - Mark Wallace 001; Joachim Schimpf; Kish Shen; Warwick Harvey (Constraints An Int. J., 2004)

The G12 Project: Mapping Solver Independent Models to Efficient Solutions. - Peter J. Stuckey; Maria J. García de la Banda; Michael J. Maher; Kim Marriott; John K. Slaney; Zoltan Somogyi; Mark Wallace 001; Toby Walsh (ICLP, 2005)

The Modelling Language Zinc. - Maria J. García de la Banda; Kim Marriott; Reza Rafeh; Mark Wallace 001 (CP, 2006)

Hybrid Algorithms in Constraint Programming. - Mark Wallace 001 (CSCLP, 2006)

Adding Constraint Solving to Mercury. - Ralph Becket; Maria J. García de la Banda; Kim Marriott; Zoltan Somogyi; Peter J. Stuckey; Mark Wallace 001 (PADL, 2006)

Integrating operations research in constraint programming. - Michela Milano; Mark Wallace 001 (4OR, 2006)

Constraint Logic Programming. - Kim Marriott; Peter J. Stuckey; Mark Wallace 001 (Handbook of Constraint Programming, 2006)

Constraint logic programming using Eclipse. - Krzysztof R. Apt; Mark Wallace 001 (Cambridge University Press, 2007)

From Zinc to Design Model. - Reza Rafeh; Maria J. García de la Banda; Kim Marriott; Mark Wallace 001 (PADL, 2007)

Adding Search to Zinc. - Reza Rafeh; Kim Marriott; Maria Garcia de la Banda; Nicholas Nethercote; Mark Wallace 001 (CP, 2008)

A Novel Approach For Detecting Symmetries in CSP Models. - Christopher Mears; Maria J. García de la Banda; Mark Wallace 001; Bart Demoen (CPAIOR, 2008)

From High-Level Model to Branch-and-Price Solution in G12. - Jakob Puchinger; Peter J. Stuckey; Mark Wallace 001; Sebastian Brand (CPAIOR, 2008)

The Design of the Zinc Modelling Language. - Kim Marriott; Nicholas Nethercote; Reza Rafeh; Peter J. Stuckey; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2008)

The Effects of the Social Structure of Digital Networks on Viral Marketing Performance. - Mauro Bampo; Michael T. Ewing; Dineli R. Mather; David Stewart; Mark Wallace 001 (Inf. Syst. Res., 2008)

Why Cumulative Decomposition Is Not as Bad as It Sounds. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark Wallace 001 (CP, 2009)

G12 - Towards the Separation of Problem Modelling and Problem Solving. - Mark Wallace 001 (CPAIOR, 2009)

Branch-and-Price Solving in G12. - Jakob Puchinger; Peter J. Stuckey; Mark Wallace 001; Sebastian Brand (Models and Algorithms for Optimization in Logistics, 2009)

On implementing symmetry detection. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001 (Constraints An Int. J., 2009)

Solving the Resource Constrained Project Scheduling Problem with Generalized Precedences by Lazy Clause Generation - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (CoRR, 2010)

Proving Symmetries by Model Transformation. - Christopher Mears; Todd Niven; Marcel Jackson; Mark Wallace 001 (CP, 2011)

Dantzig-Wolfe decomposition and branch-and-price solving in G12. - Jakob Puchinger; Peter J. Stuckey; Mark G. Wallace 001; Sebastian Brand (Constraints An Int. J., 2011)

Explaining the cumulative propagator. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (Constraints An Int. J., 2011)

CP and MIP Methods for Ship Scheduling with Time-Varying Draft. - Elena Kelareva; Sebastian Brand; Philip Kilby; Sylvie Thiébaux; Mark Wallace 001 (ICAPS, 2012)

Maximising the Net Present Value of Large Resource-Constrained Projects. - Hanyu Gu; Peter J. Stuckey; Mark G. Wallace 001 (CP, 2012)

Maximising the Net Present Value for Resource-Constrained Project Scheduling. - Andreas Schutt; Geoffrey Chu; Peter J. Stuckey; Mark G. Wallace 001 (CPAIOR, 2012)

Airline planning benchmark problems - Part I: : Characterising networks and demand using limited data. - Kerem Akartunali; Natashia Boland; Ian Evans; Mark Wallace 001; Hamish Waterer (Comput. Oper. Res., 2013)

Airline planning benchmark problems - Part II: Passenger groups, utility and demand allocation. - Kerem Akartunali; Natashia Boland; Ian Evans; Mark Wallace 001; Hamish Waterer (Comput. Oper. Res., 2013)

Transport scheduling: Meeting the challenges of scale, complexity and uncertainty. - Mark Wallace 001; Natashia Boland; Edmund K. Burke (Comput. Oper. Res., 2013)

Solving RCPSP/max by lazy clause generation. - Andreas Schutt; Thibaut Feydy; Peter J. Stuckey; Mark G. Wallace 001 (J. Sched., 2013)

Improved Optimal and Approximate Power Graph Compression for Clearer Visualisation of Dense Graphs. - Tim Dwyer; Christopher Mears; Kerri Morgan; Todd Niven; Kim Marriott; Mark Wallace 001 (PacificVis, 2014)

Modelling with Option Types in MiniZinc. - Christopher Mears; Andreas Schutt; Peter J. Stuckey; Guido Tack; Kim Marriott; Mark Wallace 001 (CPAIOR, 2014)

The future of optimization technology. - Maria Garcia de la Banda; Peter J. Stuckey; Pascal Van Hentenryck; Mark Wallace 001 (Constraints An Int. J., 2014)

Lightweight dynamic symmetry breaking. - Christopher Mears; Maria Garcia de la Banda; Bart Demoen; Mark Wallace 001 (Constraints An Int. J., 2014)

A Lagrangian-ACO matheuristic for car sequencing. - Dhananjay R. Thiruvady; Andreas T. Ernst; Mark Wallace 001 (EURO J. Comput. Optim., 2014)

A Lagrangian relaxation and ACO hybrid for resource constrained project scheduling with discounted cash flows. - Dhananjay R. Thiruvady; Mark Wallace 001; Hanyu Gu; Andreas Schutt (J. Heuristics, 2014)

Freight Train Threading with Different Algorithms. - Ilankaikone Senthooran; Mark Wallace 001; Leslie De Koninck (CPAIOR, 2015)

A method for detecting symmetries in constraint models and its generalisation. - Christopher Mears; Maria Garcia de la Banda; Mark Wallace 001; Bart Demoen (Constraints An Int. J., 2015)

Improved Linearization of Constraint Programming Models. - Gleb Belov; Peter J. Stuckey; Guido Tack; Mark Wallace 001 (CP, 2016)

Fast Electrical Demand Optimization Under Real-Time Pricing. - Shan He; Mark Wallace 001; Campbell Wilson; Ariel Liebman (AAAI, 2017)

An Optimization Model for 3D Pipe Routing with Flexibility Constraints. - Gleb Belov; Tobias Czauderna; Amel Dzaferovic; Maria Garcia de la Banda; Michael Wybrow; Mark Wallace 001 (CP, 2017)

Scenario-Based Learning for Stochastic Combinatorial Optimisation. - David Hemmi; Guido Tack; Mark Wallace 001 (CPAIOR, 2017)

Analytical Approach to Estimate Delay Reduction Associated with Bus Priority Measures. - Long Tien Truong; Graham Currie; Mark Wallace 001; Chris De Gruyter (IEEE Intell. Transp. Syst. Mag., 2017)

What do Constraint Programming Users Want to See? Exploring the Role of Visualisation in Profiling of Models and Search. - Sarah Goodwin; Christopher Mears; Tim Dwyer; Maria Garcia de la Banda; Guido Tack; Mark Wallace 001 (IEEE Trans. Vis. Comput. Graph., 2017)

A Recursive Scenario Decomposition Algorithm for Combinatorial Multistage Stochastic Optimisation Problems. - David Hemmi; Guido Tack; Mark Wallace 001 (AAAI, 2018)

Process Plant Layout Optimization: Equipment Allocation. - Gleb Belov; Tobias Czauderna; Maria Garcia de la Banda; Matthias Klapperstück; Ilankaikone Senthooran; Mitch Smith; Michael Wybrow; Mark Wallace 001 (CP, 2018)

A Fast and Scalable Algorithm for Scheduling Large Numbers of Devices Under Real-Time Pricing. - Shan He; Mark Wallace 001; Graeme Gange; Ariel Liebman; Campbell Wilson (CP, 2018)

Is perturbation an effective restart strategy? - Aldeida Aleti; Mark Wallace 001; Markus Wagner 007 (CoRR, 2019)

Coordinated Transit Signal Priority Model Considering Stochastic Bus Arrival Time. - Long Tien Truong; Graham Currie; Mark Wallace 001; Chris De Gruyter; Kun An (IEEE Trans. Intell. Transp. Syst., 2019)

Building Decision Support Systems - using MiniZinc - Mark Wallace 001 (Springer, 2020)

Core-Guided Model Reformulation. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (CP, 2020)

A new constraint programming model and solving for the cyclic hoist scheduling problem. - Mark Wallace 001; Neil Yorke-Smith (Constraints An Int. J., 2020)

The Neighbours' Similar Fitness Property for Local Search. - Mark Wallace 001; Aldeida Aleti (CoRR, 2020)

Steepest ascent can be exponential in bounded treewidth problems. - David A. Cohen; Martin C. Cooper; Artem Kaznatcheev; Mark Wallace 001 (Oper. Res. Lett., 2020)

Human-Centred Feasibility Restoration. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (CP, 2021)

On the effectiveness of restarting local search. - Aldeida Aleti; Mark Wallace 001; Markus Wagner 007 (GECCO Companion, 2021)

Customised Shortest Paths Using a Distributed Reverse Oracle. - Arthur Mahéo; Shizhe Zhao; Hassan Afzaal; Daniel Harabor; Peter J. Stuckey; Mark Wallace 001 (SOCS, 2021)

Minimal Conditions for Beneficial Local Search. - Mark G. Wallace 001 (CoRR, 2021)

Neighbours similar fitness and the effectiveness of restarting local search. - Aldeida Aleti; Mark Wallace 001; Markus Wagner 007 (GECCO Companion, 2022)

Fast Traffic Assignment by Focusing on Changing Edge Flows (Extended Abstract). - Ali Davoodi; Mark Wallace 001; Daniel Harabor (SOCS, 2022)

Optimal Routing for Autonomous Vehicles in a Mixed Congested Network Considering Fairness. - Ali Davoodi; Mark Wallace 001; Daniel Harabor; Dong Ngoduy (ITSC, 2023)

Human-centred feasibility restoration in practice. - Ilankaikone Senthooran; Matthias Klapperstück; Gleb Belov; Tobias Czauderna; Kevin Leo; Mark Wallace 001; Michael Wybrow; Maria Garcia de la Banda (Constraints An Int. J., 2023)

An exploratory study of organisational and industry drivers for the implementation of emerging technologies in logistics. - Alka Nand; Amrik Sohal; Ilya Fridman; Sairah Hussain; Mark Wallace 001 (Ind. Manag. Data Syst., 2023)

Automatic Core-Guided Reformulation via Constraint Explanation and Condition Learning. - Kevin Leo; Graeme Gange; Maria Garcia de la Banda; Mark Wallace 001 (AAAI, 2024)

Efficient and Exact Public Transport Routing via a Transfer Connection Database. - Abdallah Abu-Aisha; Mark Wallace 001; Daniel Harabor; Bojie Shen (SOCS, 2024)

Minimal Conditions for Beneficial Neighbourhood Search and Local Descent. - Mark G. Wallace 001 (CoRR, 2024)

Snapshot-Optimal Real-Time Ride Sharing. - Hassan Afzaal; Mark Wallace 001; Irene Moser; Daniel Damir Harabor (Inf., 2024)

Dynamic Replanning for Improved Public Transport Routing. - Abdallah Abu-Aisha; Bojie Shen; Daniel Harabor; Peter J. Stuckey; Mark Wallace 001 (CoRR, 2025)