clpz icon indicating copy to clipboard operation
clpz copied to clipboard

Published 20 hours ago • verified publisher icon triska

Stronger propagation for linear inequality

Open triska opened this issue 7 years ago • 0 comments

Witness due to @jburse:

 ?- 3*X+2*Y #> 100, X in 10..20.
 X in 10..20,
101#=<3*X+2*Y,
 Y in 20..sup.

Y can be reduced to 21..sup.

triska avatar Oct 16 '16 19:10 triska