|
Bo-Ming To
#1 / 1
|
 Finite Domain Problem
For a finite domain (over integers) constraint E > 0, where E is an
arithmetic expression with only +, -, *, domain variables and integers,
is it correct to rewrite it as E - 1 >= 0 ? It seems to work because E
will be always an integer, but I am not sure. Would someone be kind
enough to point out any errors ?
--
Department of Computer Science, The Chinese University of Hong Kong
Shatin, New Territories, Hong Kong
|
