Use forward-reverse McCormick propagation - Githubissues

PSORLab / EAGO.jl

A development environment for robust and global optimization

MIT License

144 stars 16 forks source link

Use forward-reverse McCormick propagation #47

Open mewilhel opened 4 years ago

mewilhel commented 4 years ago

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)).