@inproceedings{gent_modelling_2011,
  title = {Modelling {Constraint} {Solver} {Architecture} {Design} as a {Constraint} {Problem}},
  abstract = {Designing component-based constraint solvers is a complex problem. Some components are required, some are optional and there are interdependencies between the components. Because of this, previous approaches to solver design and modification have been ad-hoc and limited. We present a system that transforms a description of the components and the characteristics of the target constraint solver into a constraint problem. Solving this problem yields the description of a valid solver. Our approach represents a significant step towards the automated design and synthesis of constraint solvers that are specialised for individual constraint problem classes or instances.},
  booktitle = {Annual {ERCIM} {Workshop} on {Constraint} {Solving} and {Constraint} {Logic} {Programming}},
  author = {Gent, Ian P. and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian},
  year = {2011},
  pages = {87--96}
}