Algorithms and Logic Group

Posts

  1. Yuan Fang: Multi-unit Auction over a Social Network
  2. Associate Professor Yi Zhou of received the “CCF-Huawei Poplar Forest Fund” Class A Funding

    9 月 29 日，首届“CCF（中国计算机协会）-华为胡杨林基金理论计算机科学专项”资助项目结果揭晓，来自我校计算机科学与工程学院的周毅副教授的项目“基于 k-plex 的松弛团提取算法的理论与技术研究”获得了 A 类资助。

  3. Mingyu Xiao: How Fast Can We Exactly Solve NP-Complete Problems?
  4. Chao Xu: 自动化仓储系统的调度问题
  5. Chao Xu: Minimum Violation Vertex Maps and Their Applications to Cut Problems
  6. Chao Xu: A polynomial time algorithm for submodular 4-partition
  7. Mingyu Xiao: Solving hard problems with theoretical guarantee
  8. Pinyan Lu: 理论计算机
  9. Hua Jiang: 命题最大可满足性与最大团问题精确求解
  10. Prof. Bakh Khoussainov’s talk at Nerode’s conference