Posts

Improving Maximum k-Plex Solver via Second-Order Reduction and Graph Color Bounding
2021-06-25
Reconstruction Under Outliers for Fourier-sparse functions
2021-06-22
ON GENERALIZED COLORING NUMBERS
2021-06-22
Dr. Xue Chen’s visit from 26 June to 1 July, 2021
2021-06-22
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
Prof. Yi Deng’s Visit from 16 to 18 June, 2021
2021-06-11
Prof. Qilong Feng’s Visit from 16 to 17 June, 2021
2021-06-11
PPSZ on unique-kSAT
2021-06-11