Reporter:Lu Pinyan, Shanghai University of Finance and Economics
Reporting location: New Campus Information Building535
Report time:2024Year7month5Sunday (Friday) afternoon4:00-6:00
Report title:Algorithms for Solvers: Ideas from CS and OR
IndividualIntroduction:
Lu Pinyan, School of Information, Shanghai University of Finance and EconomicsDistinguished Professor,Founding Director of the Key Laboratory of Interdisciplinary Computational Economics, Ministry of Education,Founding Director of Theoretical Computer Science Research Center。2009Year1Joined Microsoft Research Asia after receiving seabet casino review a Ph.D. in Computer Science seabet mobile from Tsinghua University,Served as associate researcher of the theory group,Researcher,Researcher in charge。2015Year12joined Shanghai University of Finance and Economics full time,Led the establishment of the Theoretical Computer Science Research Center (ITCS), his research center is inCSRankings’s “Algorithm and Complexity” and “Computational Economics” have ranked first in Asia、Top ten in the world。His main research direction is theoretical computers,And focus on intersection with other disciplines,seabet app download Three major conferences on theoretical computersSTOC/FOCS/SODATotal papers published33Article. wonICALP2007、FAW2010、ISAAC2010 Best paper award at important international conferences such as 16114_16129FAW-AAIM 2012、WINE 2017、FAW 2018、ISAAC 2019Co-chairman of the International Conference Program Committee,And multiple timesSTOC,FOCS,SODAProgram committee member of top international conferences. WonACMOutstanding Scientist Award (2019), The 8th World Congress of Chinese MathematiciansICCMMathematics Award (formerly Morningside seabet sports betting Mathematics Award) Silver Award (2019), Young Scientist of China Computer Federation (2014) and other honors.
ReportIntroduction:
The MIP/LP solvers are primarily developed by the operations research community while SAT/SMT solvers are primarily developed by the computer science community. However, these problems are closely related with each other. In recent years, there have been many attempts to combine the algorithmic techniques of both sides to develop better solvers. In this talk, I will discuss about these and our attempts and try to provide a unified perspective and framework.