Stem dominion$ (all stems)
1 papers:
- WICSA-2011-BalasubramaniamSJKMN #approach #architecture #constraints #generative #named #performance #theorem proving
- Dominion: An Architecture-Driven Approach to Generating Efficient Constraint Solvers (DB, LdS, CJ, LK, IM, PN), pp. 228–231.