Algorithms and Logic Group

Posts

  1. Prof. Bakh Khoussainov’s talk at Sirius Mathematics Center
  2. 2021网络经济博弈论坛
  3. Introduction to Parallel Algorithms
  4. Combining Clause Learning and Branch and Bound for MaxSAT
  5. The security issues in diffusion Auction
  6. Algorithms for general SAT
  7. On the reals weakly low for $K$
  8. Quasi-Isometric Graph-Simplifications
  9. Prof. Yu Liang’s Visit on 1 November, 2021
  10. Subset Feedback Vertex Set in Chordal Graph