Travelled to:
1 × France
1 × Spain
3 × USA
Collaborated with:
M.J.G.d.l.Banda K.Marriott J.Schimpf ∅ Z.Somogyi P.J.Stuckey R.Rafeh R.Becket M.J.Maher J.K.Slaney T.Walsh
Talks about:
constraint (2) implement (2) effici (2) negat (2) model (2) scaleabl (1) independ (1) project (1) mercuri (1) databas (1)
Person: Mark Wallace
DBLP: Wallace:Mark
Contributed to:
Wrote 5 papers:
- PADL-2007-RafehBMW #design
- From Zinc to Design Model (RR, MJGdlB, KM, MW), pp. 215–229.
- PADL-2006-BecketBMSSW #constraints #theorem proving
- Adding Constraint Solving to Mercury (RB, MJGdlB, KM, ZS, PJS, MW), pp. 118–133.
- ICLP-2005-StuckeyBMMSSWW #independence #modelling #performance
- The G12 Project: Mapping Solver Independent Models to Efficient Solutions (PJS, MJGdlB, MJM, KM, JKS, ZS, MW, TW), pp. 9–13.
- PADL-1999-WallaceS #declarative #eclipse #implementation #named #specification
- ECLiPSe: Declarative Specification and Scaleable Implementation (MW, JS), pp. 365–366.
- SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance
- Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.