Tailoring Solver-independent Models to Constraint Solvers: A Case Study with Essence' and Minion (2007)
Attributed to:
Refinement-driven Transformation for Effective Automated Constraint Modelling
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Conference/Paper/Proceeding/Abstract