Tailoring Solver-Independent Constraint Models: A Case Study with Essence' and Minion

First Author: Gent I
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