Seminars

Jianbo Wang: Solving systems of linear equations through zero forcing set

Ke Shi: A Polynomial Time Algorithm for Finding a Minimum 4-Partition of a Submodular Function

Yuan Fang: Multi-unit Auction over a Social Network

Mingyu Xiao: How Fast Can We Exactly Solve NP-Complete Problems?

Chao Xu: 自动化仓储系统的调度问题

Chao Xu: Minimum Violation Vertex Maps and Their Applications to Cut Problems

Chao Xu: A polynomial time algorithm for submodular 4-partition

Mingyu Xiao: Solving hard problems with theoretical guarantee

Pinyan Lu: 理论计算机

Hua Jiang: 命题最大可满足性与最大团问题精确求解