Consistent choice narrowing-a new model for constraint based programming | IEEE Conference Publication | IEEE Xplore