Tailoring Solver-independent Models to Constraint Solvers: A Case Study with Essence' and Minion (2007)

First Author: I Gent
Attributed to:  Refinement-driven Transformation for Effective Automated Constraint Modelling funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract