Posts

Chao Xu: AI-Assisted Mathematics in Practice: Tools, Workflows, and a Case Study

我校算法与逻辑团队在理论计算机科学顶级期刊I&C上连续发表三篇论文

Xiaoyang Gong: Maltsev Constraints are tractable

Xinyao Wang: A journey through constraint satisfication problem.

Ce Jin: New Algorithms for Pigeonhole Equal Subset Sum

蔡少伟: 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

Bakh Khoussainov gave a distinguished lecture in Tsinghua University

Yiding Feng gives a lecture on “dynamic decision-making problems in economics”