Journal: Constraints

Volume 13, Issue 3

227 -- 228Alan M. Frisch, Ian Miguel. Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
229 -- 267Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey, Maria Garcia de la Banda, Mark Wallace. The Design of the Zinc Modelling Language
268 -- 306Alan M. Frisch, Warwick Harvey, Christopher Jefferson, Bernadette Martínez Hernández, Ian Miguel. Essence : A constraint language for specifying combinatorial problems
307 -- 342Christof Lutteroth, Robert Strandh, Gerald Weber. Domain Specific High-Level Constraints for User Interface Layout
343 -- 384David G. Mitchell, Eugenia Ternovska. Expressive power and abstraction in Essence
385 -- 406Hadrien Cambazard, Barry O Sullivan. Reformulating Table Constraints using Functional Dependencies - An Application to Explanation Generation