Algorithms and Logic Group

Weekly Seminars

  1. Binglin Tao: Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures
  2. Private data query mechanisms for data marketplaces
  3. USER: Unsupervised Structural Entropy-based Robust Graph Neural Network
  4. Establishing Ties
  5. Value iteration for probabilistic verification of stochastic games
  6. Approximation Algorithms for the Capacitated Vehicle Routing Problem
  7. Automatic structures: Open questions
  8. Listing Maximal k-Plexes in Large Real-World Graphs
  9. Automated Generation of Branching Rules
  10. Combinatorial games on networks