@inproceedings{balasubramaniam_dominion:_2011,
  title = {Dominion: {An} {Architecture}-driven {Approach} to {Generating} {Efficient} {Constraint} {Solvers}},
  abstract = {Constraints are used to solve combinatorial problems in a variety of industrial and academic disciplines. However most constraint solvers are designed to be general and monolithic, leading to problems with efficiency, scalability and extensibility. We propose a novel, architecture-driven constraint solver generation framework called Dominion to tackle these issues. For any given problem, Dominion generates a lean and efficient solver tailored to that problem. In this paper, we outline the Dominion approach and its implications for software architecture specification of the solver.},
  booktitle = {9th {Working} {IEEE}/{IFIP} {Conference} on {Software} {Architecture}},
  author = {Balasubramaniam, Dharini and de Silva, Lakshitha and Jefferson, Christopher A. and Kotthoff, Lars and Miguel, Ian and Nightingale, Peter},
  month = jun,
  year = {2011},
  pages = {228--231},
  month_numeric = {6}
}