1. Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling

   • Alan M. Frisch
   • Ian Miguel

   Preface 04 April 2008 Pages: 227 - 228

2. The Design of the Zinc Modelling Language

   • Kim Marriott
   • Nicholas Nethercote
   • Mark Wallace

   OriginalPaper 14 May 2008 Pages: 229 - 267

3. Essence: A constraint language for specifying combinatorial problems

   • Alan M. Frisch
   • Warwick Harvey
   • Ian Miguel

   OriginalPaper 21 June 2008 Pages: 268 - 306

4. Domain Specific High-Level Constraints for User Interface Layout

   • Christof Lutteroth
   • Robert Strandh
   • Gerald Weber

   OriginalPaper 30 April 2008 Pages: 307 - 342

5. Expressive power and abstraction in Essence

   • David G. Mitchell
   • Eugenia Ternovska

   OriginalPaper 21 June 2008 Pages: 343 - 384

6. Reformulating Table Constraints using Functional Dependencies—An Application to Explanation Generation

   • Hadrien Cambazard
   • Barry O’Sullivan

   OriginalPaper 25 April 2008 Pages: 385 - 406