A Decomposition-Based Data-Driven Branch-and-Bound Approach for Black-Box Global Optimization 94KNW375B9

Expressions

The mentions of the inventory that name this resource. Each name links to the card of its inventory row.

Item	Kind	Where	Source
Sufficient fill-distance condition	statement	lemma 2	arxiv
Probabilistic validity of Formulation 2	statement	theorem 1	arxiv
Residual bound from sampled slopes	statement	lemma 1	arxiv
Residual-corrected lower-bounding formulation	unknown	unknown 2	arxiv
Local domain refinement	statement	proposition 3	arxiv
Original lower-bounding formulation	unknown	unknown 1	arxiv
Validity of the reduced lower bound	statement	proposition 2	arxiv
Global convergence	statement	theorem 2	arxiv
Deterministic validity of Formulation 2	statement	proposition 1	arxiv