Algorithms and Logic Group

Posts

  1. Andre Nies: Prime numbers, factorisation, and algorithms
  2. Alexander Zapryagaev: Presburger arithmetic and related theories
  3. Junqiang Peng: A Fast Algorithm for MaxSAT Above Half Number of Clauses
  4. Yinyu Ye: Online Market Design: Dynamic Equilibrium Pricing
  5. Zihui Liang: Two new algorithms for solving Muller games and their applications
  6. Lu Liu: A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
  7. Our Team Will Hold ALC 2027
  8. Alexander Zapryagaev joined the group as postdoc
  9. Yi Zhou: Recent advances in algorithms for k-plex problems
  10. 我校肖鸣宇教授当选中国计算机学会理论计算机科学专委主任