Reporter:Lu Pinyan, Shanghai University of Finance and seabet best crypto casino
Reporting location: New Campus seabet best crypto casino Building535
seabet best crypto casino time:2024Year7month5Sunday (Friday) afternoon4:00-6:00
seabet best crypto casino title:Algorithms for Solvers: Ideas from CS and OR
PersonalIntroduction:
Lu Pinyan, School of Information, Shanghai University of Finance and seabet best crypto casinoDistinguished Professor，Founding Director of the Key Laboratory of Interdisciplinary Computational seabet best crypto casino, Ministry of Education，Founding Director of Theoretical Computer Science Research Center。2009Year1Joined Microsoft Research Asia after receiving a Ph.D. in Computer Science from Tsinghua seabet best crypto casino，Served as associate researcher of the theory group，Researcher，Researcher in Charge。2015Year12joined Shanghai University of Finance and seabet best crypto casino full time，Led the establishment of the Theoretical Computer Science Research Center (ITCS), his seabet best crypto casino center is inCSRankings’s “Algorithms and Complexity” and “Computational seabet best crypto casino” have ranked first in Asia、Top ten in the world。His main research direction is theoretical computers，And focus on intersection with other disciplines，Three major conferences on theoretical computersSTOC/FOCS/SODATotal papers published33Article. wonICALP2007、FAW2010、ISAAC2010 Best paper award at important international conferences such as 15506_15521FAW-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 Mathematics Award) Silver Award (2019), Young Scientist of China Computer Federation (2014) and other honors.
seabet best crypto casinoIntroduction：
The MIP/LP solvers are primarily developed by the operations seabet best crypto casino 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.
