Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers | IEEE Conference Publication | IEEE Xplore