@misc{indiciae1be281e5da03,
  title = {Negotiating with solvers: Using Generalized Disjunctive Programming to find Computationally Performant MIP Formulations},
  author = {Davis, Soren Arthur [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] and Siirola, John Daniel [Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States)] (ORCID:0009000534718314)},
  year = {2025},
  doi = {10.2172/3367118},
  url = {https://www.osti.gov/biblio/3367118},
  note = {Source identifier: 3367118}
}