A general approach to constraint solving for declarative modeling domain | IEEE Conference Publication | IEEE Xplore