Algorithms and Logic Group

Posts

  1. Minming Li: Fair Scheduling for Time-dependent Resources
  2. Ke Shi: Almost tight $\ell$-covering of $\Z_n$
  3. Yi Zhou: Finding Large Relaxed Cliques: Theory and Practice
  4. AAAI2022约束求解与启发式算法相关论文报告
  5. Binglin Tao: Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures
  6. Private data query mechanisms for data marketplaces
  7. USER: Unsupervised Structural Entropy-based Robust Graph Neural Network
  8. Establishing Ties
  9. We won the 5th place in The IEEEXtreme Global Extreme Programming Competition
  10. Value iteration for probabilistic verification of stochastic games