Consistent algorithm for multi-value constraint with continuous variables | TUP Journals & Magazine | IEEE Xplore