Algorithms and Logic Group

Weekly Seminars

  1. Alexander Zapryagaev: Presburger arithmetic and related theories
  2. Junqiang Peng: A Fast Algorithm for MaxSAT Above Half Number of Clauses
  3. Zihui Liang: Two new algorithms for solving Muller games and their applications
  4. Lu Liu: A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
  5. Yi Zhou: Recent advances in algorithms for k-plex problems
  6. Zile Jiang: Computing Better Approximate Pure Nash Equilibria in Cut Games via Semidefinite Programming
  7. Zihui Liang: Connectivity in the presence of an opponent
  8. Kangyi Tian: Parameterized Algorithms for Cluster Vertex Deletion on Degree-4 Graphs and General Graphs
  9. Haidong Yang: Topological network-control games
  10. Pengpeng Wang: 基于树割映射的网络健壮性增强算法