Domain Reduction
Duality-Based Bound Tightening
Variable bound tightening based on the duality multipliers are supported.
Missing docstring for variable_dbbt!. Check Documenter's build log for details.
Special Forms
Bound tightening for linear forms, univariate quadratic forms, and bivariate quadratic forms are also supported.
Missing docstring for EAGO.fbbt!. Check Documenter's build log for details.
Constraint Propagation
EAGO contains a constraint propagation architecture that supported forward and reverse evaluation of set-valued functions on the directed acyclic graph (DAG). The interval contractor and reverse McCormick relaxation-based contractors are currently available.
Missing docstring for EAGO.set_constraint_propagation_fbbt!. Check Documenter's build log for details.
Optimization-Based Bound Tightening
EAGO makes use of an optimization-based bound tightening scheme using filtering and greedy ordering as detailed in: Gleixner, A.M., Berthold, T., Müller, B. et al. J Glob Optim (2017) 67: 731. https://doi.org/10.1007/s10898-016-0450-4.
Missing docstring for EAGO.obbt!. Check Documenter's build log for details.
Missing docstring for EAGO.trivial_filtering!(m::GlobalOptimizer{R,S,Q}, n::NodeBB) where {R,S,Q<:ExtensionType}. Check Documenter's build log for details.
Missing docstring for EAGO.aggressive_filtering!(m::GlobalOptimizer{R,S,Q}, n::NodeBB) where {R,S,Q<:ExtensionType}. Check Documenter's build log for details.
Missing docstring for EAGO.bool_indx_diff!(z::Vector{Bool},x::Vector{Bool}, y::Vector{Bool}). Check Documenter's build log for details.