EAGO.jl icon indicating copy to clipboard operation
EAGO.jl copied to clipboard

Published 20 hours ago • verified publisher icon PSORLab

Use forward-reverse McCormick propagation

Open mewilhel opened this issue 4 years ago • 0 comments

This was reverted on v0.4 of EAGO as the tolerance based approach we initially tried resulted in incorrect results. So to enable this we need:

  • [ ] a correctly-rounded McCormick relaxation mode in McCormick.jl
  • [ ] update ReverseMcCormick.jl to make use of this mode
  • [ ] Update EAGO to default to this correctly rounded mode (also to revert the reverse interval pass we currently use (which should become an option)).

mewilhel avatar Jun 15 '20 15:06 mewilhel