Generation of propagation rules for intentionally defined constraints | IEEE Conference Publication | IEEE Xplore