An improved upper bound for SAT. - Huairui Chu; Mingyu Xiao 001; Zhe Zhang (Theor. Comput. Sci., 2021)

FPT Approximation Using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set. - Huairui Chu; Bingkai Lin (ISAAC, 2023)

A Tight Lower Bound for Compact Set Packing. - Huairui Chu (CoRR, 2023)