A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers
2011
2011 Ninth Working IEEE/IFIP Conference on Software Architecture
Preserved Fulltext
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
doi:10.1109/wicsa.2011.37
dblp:conf/wicsa/BalasubramaniamSJKMN11
fatcat:p253ypu3rfd4de3kx6lrmg6fgy