Algorithms and Logic Group

Seminars

  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 $K$
  6. Quasi-Isometric Graph-Simplifications
  7. Subset Feedback Vertex Set in Chordal Graph
  8. Randomness and Complexity
  9. Rapid mixing of Glauber dynamics via spectral independence for all degrees
  10. On 1-2-3 Conjecture