@inproceedings{ninin:hal-03474825,
  TITLE = {{Nested branch-and-bound algorithm for minmax problem and constraints with quantifiers}},
  AUTHOR = {Ninin, Jordan and Monnet, Dominique and Clement, Benoit},
  URL = {https://hal.science/hal-03474825},
  BOOKTITLE = {{EUROPT 2021, the 18th international workshop on continuous optimization}},
  ADDRESS = {Toulouse, France},
  ORGANIZATION = {{continuous optimization working group of EURO}},
  YEAR = {2021},
  MONTH = Jul,
  HAL_ID = {hal-03474825},
  HAL_VERSION = {v1},
}