Seminars

蔡少伟: SAT与EDA形式化验证

Tian Bai: A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset Feedback Arc Set in Tournaments

Sk Samim Islam: Multipacking in Graphs: Hardness Results and Approximation Algorithms on Graph Subclasses

Yiding Feng: Calibration and Decision Making:An Information Design Perspective

Yibin Zhao: Closing the Gap Between Undirected and Eulerian Spectral Sparsification

Xiaoyang Gong: Word structures and their automatic presentations

Angsheng Li: 谋算智能：模型、原理与方法

Zhiyi Huang: Optimal 4-Approximation for the Correlated Pandora’s Problem

Yiding Feng: On the Efficiency of Fair and Truthful Trade Mechanisms

Andrei Bulatov: Counting Problems, Partition Functions, Statistical Physics, and Computational Complexity