Algorithms and Logic Group

Chengdu A&L Seminars

  1. Online Primal Dual Algorithms for Generalized Online Bipartite Matching Problems
  2. Reconstruction Under Outliers for Fourier-sparse functions
  3. Zero Knowledge Proofs: From Crypto to Fintech
  4. New Algorithms for Constrained Clustering Problems
  5. Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs
  6. Some efficient algorithms for the k-vertex cover problem
  7. Mathematical Principles of Information Sciences, II: Mathematical Theory of Intuitive Reasoning
  8. Mathematical Principles of Information Sciences, I: The Laws of Information
  9. Computation, Randomness and Dimensionality
  10. A simple deterministic pseudopolynomial time algorithms for subset sum