| 2008 |
|---|
| 48 | EE | Reza Rafeh,
Kim Marriott,
Maria Garcia de la Banda,
Nicholas Nethercote,
Mark Wallace:
Adding Search to Zinc.
CP 2008: 624-629 |
| 47 | EE | Christopher Mears,
Maria J. García de la Banda,
Mark Wallace,
Bart Demoen:
A Novel Approach For Detecting Symmetries in CSP Models.
CPAIOR 2008: 158-172 |
| 46 | EE | Jakob Puchinger,
Peter J. Stuckey,
Mark Wallace,
Sebastian Brand:
From High-Level Model to Branch-and-Price Solution in G12.
CPAIOR 2008: 218-232 |
| 45 | EE | Kim Marriott,
Nicholas Nethercote,
Reza Rafeh,
Peter J. Stuckey,
Maria Garcia de la Banda,
Mark Wallace:
The Design of the Zinc Modelling Language.
Constraints 13(3): 229-267 (2008) |
| 2007 |
|---|
| 44 | EE | Reza Rafeh,
Maria J. García de la Banda,
Kim Marriott,
Mark Wallace:
From Zinc to Design Model.
PADL 2007: 215-229 |
| 43 | EE | Markus Stolze,
Philippe Riand,
Mark Wallace,
Terry Heath:
Agile Development of Workflow Applications with Interpreted Task Models.
TAMODIA 2007: 2-14 |
| 2006 |
|---|
| 42 | EE | Maria J. García de la Banda,
Kim Marriott,
Reza Rafeh,
Mark Wallace:
The Modelling Language Zinc.
CP 2006: 700-705 |
| 41 | EE | Mark Wallace:
Hybrid Algorithms in Constraint Programming.
CSCLP 2006: 1-32 |
| 40 | EE | 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: 118-133 |
| 39 | EE | Michela Milano,
Mark Wallace:
Integrating operations research in constraint programming.
4OR 4(3): 175-219 (2006) |
| 2005 |
|---|
| 38 | EE | 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: 13-16 |
| 37 | EE | 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: 9-13 |
| 2004 |
|---|
| 36 | | Mark Wallace:
Principles and Practice of Constraint Programming - CP 2004, 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 1, 2004, Proceedings
Springer 2004 |
| 35 | EE | Quanshi Xia,
Andrew Eremin,
Mark Wallace:
Problem Decomposition for Traffic Diversions.
CPAIOR 2004: 348-363 |
| 34 | EE | 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 9(1): 5-34 (2004) |
| 2003 |
|---|
| 33 | EE | Mark Wallace:
Languages versus Packages for Constraint Problem Solving.
CP 2003: 37-52 |
| 2002 |
|---|
| 32 | EE | Mark Wallace:
Constraint Logic Programming.
Computational Logic: Logic Programming and Beyond 2002: 512-532 |
| 31 | | Mark Wallace,
Joachim Schimpf:
Finding the Right Hybrid Algorithm - A Combinatorial Meta-Problem.
Ann. Math. Artif. Intell. 34(4): 259-269 (2002) |
| 2001 |
|---|
| 30 | EE | Andrew Eremin,
Mark Wallace:
Hybrid Benders Decomposition Algorithms in Constraint Logic Programming.
CP 2001: 1-15 |
| 2000 |
|---|
| 29 | | Mark Wallace:
Search in AI: Escaping from the CSP Straightjacket.
ECAI 2000: 770-776 |
| 28 | | Hani El Sakkout,
Mark Wallace:
Probe Backtrack Search for Minimal Perturbation in Dynamic Scheduling.
Constraints 5(4): 359-388 (2000) |
| 27 | EE | Eugene C. Freuder,
Mark Wallace:
Constraint Technology and the Commercial World (Interview).
IEEE Intelligent Systems 15(1): 20-23 (2000) |
| 26 | EE | Eugene C. Freuder,
Mark Wallace:
Guest Editors' Introduction: Constraints.
IEEE Intelligent Systems 15(1): 24-25 (2000) |
| 1999 |
|---|
| 25 | EE | Mark Wallace,
Joachim Schimpf:
ECLiPSe: Declarative Specification and Scaleable Implementation.
PADL 1999: 365-366 |
| 1998 |
|---|
| 24 | EE | Robert Rodosek,
Mark Wallace:
A Generic Model and Hybrid Algorithm for Hoist Scheduling Problems.
CP 1998: 385-399 |
| 23 | | Hani El Sakkout,
T. Richards,
Mark Wallace:
Minimal Perturbance in Dynamic Scheduling.
ECAI 1998: 504-508 |
| 1997 |
|---|
| 22 | | Volker Gaede,
Alexander Brodsky,
Oliver Günther,
Divesh Srivastava,
Victor Vianu,
Mark Wallace:
Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, CDB '97, Delphi, Greece, January 11-12, 1997, CP '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers
Springer 1997 |
| 21 | | Stéphane Bressan,
Alan P. Sexton,
Mark Wallace:
Implementing Index Data Structures Using Constraint Logic Programming.
CDB 1997: 294-301 |
| 20 | | Volker Gaede,
Mark Wallace:
An Informal Introduction to Constraint Database Systems.
CDB 1997: 7-52 |
| 1996 |
|---|
| 19 | | Gabriel M. Kuper,
Mark Wallace:
Constraint Databases and Applications, ESPRIT WG CONTESSA Workshop, Friedrichshafen, Germany, September 8-9, 1995, Proceedings
Springer 1996 |
| 18 | | Hani El Sakkout,
Mark Wallace,
Barry Richards:
An Instance of Adaptive Constraint Propagation.
CP 1996: 164-178 |
| 17 | | Mark Wallace:
Practical Applications of Constraint Programming.
Constraints 1(1/2): 139-168 (1996) |
| 1995 |
|---|
| 16 | | Mark Wallace,
Stéphane Bressan,
Thierry Le Provost:
Magic Checking: Constraint Checking for Database Query Optimization.
CDB 1995: 148-166 |
| 1993 |
|---|
| 15 | | Michael Lawley,
Rodney W. Topor,
Mark Wallace:
Using Weakest Preconditions to Simplify Integrity Constraint Checking.
Australian Database Conference 1993: 161-170 |
| 14 | | Yow-Jong Liu,
Mark Wallace,
John W. Ketchum:
A Soft-Output Bidirectional Decision Feedback Equalization Technique for TDMA Cellular Radio.
IEEE Journal on Selected Areas in Communications 11(7): 1034-1045 (1993) |
| 13 | | Mark Wallace:
Tight, Consistent and Computable Completions for Unrestricted Logic Programs.
J. Log. Program. 15(3): 243-273 (1993) |
| 12 | | Thierry Le Provost,
Mark Wallace:
Generalized Constraint Propagation over the CLP Scheme.
J. Log. Program. 16(3): 319-359 (1993) |
| 1992 |
|---|
| 11 | | Thierry Le Provost,
Mark Wallace:
Domain Independent Propagation.
FGCS 1992: 1004-1011 |
| 10 | | Mark Wallace:
New trends in constraint logic Programming.
JFPL 1992 |
| 9 | | Mark Wallace,
Thierry Le Provost:
CHIP and Propia.
LPAR 1992: 507-509 |
| 8 | | Thom W. Frühwirth,
Alexander Herold,
Volker Küchenhoff,
Thierry Le Provost,
Pierre Lim,
Eric Monfroy,
Mark Wallace:
Contraint Logic Programming - An Informal Introduction.
Logic Programming Summer School 1992: 3-35 |
| 1991 |
|---|
| 7 | | Mark Wallace:
Compiling Integrity Checking into Update Procedures.
IJCAI 1991: 903-910 |
| 1990 |
|---|
| 6 | | Mark Wallace:
Unrestricted Logic Programs or if Stratification is the Cure, what is the Malady?
ECAI 1990: 682-687 |
| 1989 |
|---|
| 5 | | Mark Wallace:
A Computable Semantics for General Logic Programs.
J. Log. Program. 6(3): 269-297 (1989) |
| 1988 |
|---|
| 4 | | David Chan,
Mark Wallace:
A Treatment of Negation during Partial Evaluation.
META 1988: 299-317 |
| 3 | | Johann Christoph Freytag,
Rainer Manthey,
Mark Wallace:
Mapping Object-Oriented Concepts into Relational Concepts by Meta-Compilation in a Logic programming Environment.
OODBS 1988: 204-208 |
| 1987 |
|---|
| 2 | | Mark Wallace:
Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases.
SLP 1987: 253-263 |
| 1986 |
|---|
| 1 | | Jorge B. Bocca,
Hendrik Decker,
Jean-Marie Nicolas,
Laurent Vieille,
Mark Wallace:
Some Steps Towards a DBMS-based KBMS.
IFIP Congress 1986: 1061-1067 |
