Algorithms and Logic Group

Posts

  1. 我校算法与逻辑团队在理论计算机科学顶级期刊I&C上连续发表三篇论文
  2. Xiaoyang Gong: Maltsev Constraints are tractable
  3. Xinyao Wang: A journey through constraint satisfication problem.
  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. Bakh Khoussainov gave a distinguished lecture in Tsinghua University
  9. Yiding Feng gives a lecture on “dynamic decision-making problems in economics”
  10. Yiding Feng: Calibration and Decision Making:An Information Design Perspective