Algorithms and Logic Group

Posts

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