Algorithms and Logic Group

Seminars

  1. AAAI2022约束求解与启发式算法相关论文报告
  2. Binglin Tao: Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures
  3. Private data query mechanisms for data marketplaces
  4. USER: Unsupervised Structural Entropy-based Robust Graph Neural Network
  5. Establishing Ties
  6. Value iteration for probabilistic verification of stochastic games
  7. Approximation Algorithms for the Capacitated Vehicle Routing Problem
  8. Automatic structures: Open questions
  9. Listing Maximal k-Plexes in Large Real-World Graphs
  10. Automated Generation of Branching Rules