TY - RPRT TI - Symbolic Regression using Mixed-Integer Nonlinear Optimization AU - Vernon Austel AU - Cristina Cornelio AU - Sanjeeb Dash AU - Joao Goncalves AU - Lior Horesh AU - Tyler Josephson AU - Nimrod Megiddo PY - 2020 UR - https://arxiv.org/abs/2006.06813 ID - 2006.06813 ER -