Algorithms for Solvers: Ideas from CS and OR
陆品燕，4 月 14 日 9:00
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.