You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
Special Issue on Abstraction and Automation in Constraint Modelling; Guest Editors: Alan M. Frisch and Ian Miguel
227-228
Preface
Introduction to the Special Issue on Abstraction and Automation in Constraint Modelling
Alan M. Frisch and Ian Miguel
229-267
The Design of the Zinc Modelling Language
Kim Marriott, Nicholas Nethercote, Reza Rafeh, Peter J. Stuckey and Maria Garcia de la Banda, et al.
268-306
Essence: A constraint language for specifying combinatorial problems
Alan M. Frisch, Warwick Harvey, Chris Jefferson, Bernadette Martínez-Hernández and Ian Miguel
307-342
Domain Specific High-Level Constraints for User Interface Layout
Christof Lutteroth, Robert Strandh and Gerald Weber
343-384
Expressive power and abstraction in Essence
David G. Mitchell and Eugenia Ternovska
385-406
Reformulating Table Constraints using Functional Dependencies—An Application to Explanation Generation
Hadrien Cambazard and Barry O’Sullivan
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info