Black-Box Acceleration of Monotone Convex Program Solvers.

Palma London Shai Vardi Reza Eghbali Adam Wierman

Published in: Oper. Res. (2024)

Keyphrases

black box
white box testing
test cases
black boxes
white box
rule extraction
integration testing
hybrid systems
convex hull
boolean functions
state transition
sat solvers
case study
upper bound
java programs
query language
data model
xml documents
multi agent systems