TY - RPRT TI - Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics AU - Kim, Jongeun AU - Leyffer, Sven AU - Balaprakash, Prasanna PY - 2023 DO - 10.1287/ijoc.2022.0050 UR - https://www.osti.gov/biblio/2572319 ID - 2572319 ER -