Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion
Attributed to:
Refinement-driven Transformation for Effective Automated Constraint Modelling
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-73580-9_16
Publication URI: http://dx.doi.org/10.1007/978-3-540-73580-9_16
Type: Book Chapter
Book Title: Abstraction, Reformulation, and Approximation (2007)
Page Reference: 184-199
ISBN: 978-3-540-73579-3
ISSN: 2190-5738