Algorithms and Logic Group
People
Research
Publications
Seminars
News
Events
Posts
Xiaoyang Gong: Maltsev Constraints are tractable
2026-03-20
Xinyao Wang: A journey through constraint satisfication problem.
2026-03-13
Ce Jin: New Algorithms for Pigeonhole Equal Subset Sum
2026-01-05
蔡少伟: SAT与EDA形式化验证
2025-12-19
Tian Bai: A Quadratic Vertex Kernel and a Subexponential Algorithm for Subset Feedback Arc Set in Tournaments
2025-12-12
Sk Samim Islam: Multipacking in Graphs: Hardness Results and Approximation Algorithms on Graph Subclasses
2025-12-12
Bakh Khoussainov gave a distinguished lecture in Tsinghua University
2025-12-10
Yiding Feng gives a lecture on “dynamic decision-making problems in economics”
2025-12-06
Yiding Feng: Calibration and Decision Making:An Information Design Perspective
2025-11-29
Yibin Zhao: Closing the Gap Between Undirected and Eulerian Spectral Sparsification
2025-10-31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26