Algorithms and Logic Group

Posts

  1. Introduction to Parallel Algorithms
  2. Combining Clause Learning and Branch and Bound for MaxSAT
  3. The security issues in diffusion Auction
  4. Algorithms for general SAT
  5. On the reals weakly low for [katex]K[/katex]
  6. Quasi-Isometric Graph-Simplifications
  7. Prof. Yu Liang’s Visit on 1 November, 2021
  8. Subset Feedback Vertex Set in Chordal Graph
  9. Randomness and Complexity
  10. Rapid mixing of Glauber dynamics via spectral independence for all degrees