1. Tobias Achterberg. 2019. What’s new in Gurobi 9.0. Webinar Talk url: https://www. gurobi. com/wp-content/uploads/2019/12/Gurobi-90-Overview-Webinar-Slides-1. pdf. Tobias Achterberg. 2019. What’s new in Gurobi 9.0. Webinar Talk url: https://www. gurobi. com/wp-content/uploads/2019/12/Gurobi-90-Overview-Webinar-Slides-1. pdf.
2. Rajeev Alur , Rastislav Bodik , Garvit Juniwal , Milo MK Martin , Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013 . Syntax-guided synthesis. IEEE. Rajeev Alur, Rastislav Bodik, Garvit Juniwal, Milo MK Martin, Mukund Raghothaman, Sanjit A Seshia, Rishabh Singh, Armando Solar-Lezama, Emina Torlak, and Abhishek Udupa. 2013. Syntax-guided synthesis. IEEE.
3. Scaling Enumerative Program Synthesis via Divide and Conquer
4. Michael L Bynum , Gabriel A Hackebeil , William E Hart , Carl D Laird , Bethany L Nicholson , John D Siirola , Jean-Paul Watson , and David L Woodruff . 2021. Pyomo-optimization modeling in python. 67 , Springer . Michael L Bynum, Gabriel A Hackebeil, William E Hart, Carl D Laird, Bethany L Nicholson, John D Siirola, Jean-Paul Watson, and David L Woodruff. 2021. Pyomo-optimization modeling in python. 67, Springer.
5. babble: Learning Better Abstractions with E-Graphs and Anti-unification