Posts

算法与逻辑团队获得SAT 2026最佳学生论文奖

Saket Saurabh: Picking Random At Vertices

Honoring the Graduation of Two Exceptional Ph.D. Graduates

Jie Xue: Fine-Grained Bounds for Courcelle’s Theorem

电子科技大学算法与逻辑团队在EC 2026上发表重要理论成果

Yike Chen: Discrete Unimodal-Cost p-Median on a Line.

Kangyi Tian: Representative Family and Its Applications

Wenfei Fan: Beyond LLMs: A Multi-Paradigm AI Approach

Yiping Liu: A Reduction-Driven Local Search for the Generalized Independent Set Problem

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