Robustness Verification for Attention Networks using Mixed Integer Programming.

Hsuan-Cheng Liao Chih-Hong Cheng Maximilian Kneißl Alois C. Knoll

Published in: CoRR (2022)

Keyphrases

mixed integer programming
mixed integer
column generation
lot sizing
production planning
dantzig wolfe decomposition
social networks
unit commitment
linear programming
dynamic systems
lagrangian relaxation
genetic algorithm
feature space
np hard
complex systems
mathematical model