Algorithms and Logic Group

Posts

  1. Yi Zhou: Finding Large Relaxed Cliques: Theory and Practice
  2. AAAI2022约束求解与启发式算法相关论文报告
  3. Binglin Tao: Optimal Shielding to Guarantee Region-Based Connectivity under Geographical Failures
  4. Private data query mechanisms for data marketplaces
  5. USER: Unsupervised Structural Entropy-based Robust Graph Neural Network
  6. Establishing Ties
  7. We won the 5th place in The IEEEXtreme Global Extreme Programming Competition
  8. Value iteration for probabilistic verification of stochastic games
  9. Toru Takisaka and Michelle Zhang joined the group as postdocs
  10. Dr. Jiamou Liu from the University of Auckland visiting our lab from April 11 till the end of May