Algorithms and Logic Group
People
Research
Publications
Seminars
News
Events
Weekly Seminars
Yike Chen: Discrete Unimodal-Cost p-Median on a Line.
2026-05-22
Kangyi Tian: Representative Family and Its Applications
2026-05-15
Yiping Liu: A Reduction-Driven Local Search for the Generalized Independent Set Problem
2026-04-17
Chao Xu: AI-Assisted Mathematics in Practice: Tools, Workflows, and a Case Study
2026-04-03
Xiaoyang Gong: Maltsev Constraints are tractable
2026-03-20
Xinyao Wang: A journey through constraint satisfication problem.
2026-03-13
Xiaoyang Gong: Word structures and their automatic presentations
2025-09-12
Yike Chen: An Optimal Algorithm for the Stacker Crane Problem on Fixed Topologies
2024-11-15
Chunyu Luo: A Faster Branching Algorithm for the Maximum $k$-Defective Clique Problem
2024-11-01
Toru Takisaka: Lexicographic Ranking Supermartingales with Lazy Lower Bounds
2024-05-10
1
2
3
4
5
6
7
8