Seminars

Zero Knowledge Proofs: From Crypto to Fintech
2021-06-17
New Algorithms for Constrained Clustering Problems
2021-06-17
Automata-Theoretical Decision Procedures For Path Feasibility of String Manipulating Programs
2021-06-17
PPSZ on unique-kSAT
2021-06-11
A Fast Algorithm for SAT in Terms of Formula Length
2021-06-04
Score aggregation in social choice
2021-05-29
Random Sampling of Important Separators: New Bounds and New Applications
2021-05-28
Kernelization for Feedback Vertex Set based on linear programming
2021-05-21
Some efficient algorithms for the k-vertex cover problem
2021-05-20
Kernels for Planar Vertex-Disjoint Triangle Packing
2021-05-14