Algorithms and Logic Group

Posts

  1. Qingyun Chen: Survivable Network Design Revisited: Group-Connectivity
  2. Toru Takisaka: Lexicographic Ranking Supermartingales with Lazy Lower Bounds
  3. Andre Nies: Prime numbers, factorisation, and algorithms
  4. Alexander Zapryagaev: Presburger arithmetic and related theories
  5. Junqiang Peng: A Fast Algorithm for MaxSAT Above Half Number of Clauses
  6. Yinyu Ye: Online Market Design: Dynamic Equilibrium Pricing
  7. Zihui Liang: Two new algorithms for solving Muller games and their applications
  8. Lu Liu: A Fast Exact Solver with Theoretical Analysis for the Maximum Edge-Weighted Clique Problem
  9. Our Team Will Hold ALC 2027
  10. Alexander Zapryagaev joined the group as postdoc