Algorithms and Logic Group

Chengdu A&L Seminars

  1. Saket Saurabh: Picking Random At Vertices
  2. Jie Xue: Fine-Grained Bounds for Courcelle’s Theorem
  3. Wenfei Fan: Beyond LLMs: A Multi-Paradigm AI Approach
  4. Ce Jin: New Algorithms for Pigeonhole Equal Subset Sum
  5. 蔡少伟: SAT与EDA形式化验证
  6. Tian Bai: A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset Feedback Arc Set in Tournaments
  7. Sk Samim Islam: Multipacking in Graphs: Hardness Results and Approximation Algorithms on Graph Subclasses
  8. Yiding Feng: Calibration and Decision Making:An Information Design Perspective
  9. Yibin Zhao: Closing the Gap Between Undirected and Eulerian Spectral Sparsification
  10. Angsheng Li: 谋算智能：模型、原理与方法