TY  - RPRT
TI  - Negotiating with solvers: Using Generalized Disjunctive Programming to find Computationally Performant MIP Formulations
AU  - Davis, Soren Arthur [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)]
AU  - Siirola, John Daniel [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:0009000534718314)
PY  - 2025
DO  - 10.2172/3367118
UR  - https://www.osti.gov/biblio/3367118
ID  - 3367118
ER  -