Huairui Chu

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 6

Top Topics

Stochastic Local Search Algorithms

Boolean Satisfiability

Top Venues

Theor. Comput. Sci.

Publications

Huairui Chu, Bingkai Lin
FPT Approximation Using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set. ISAAC (2023)
Bingkai Lin, Huairui Chu
FPT Approximation using Treewidth: Capacitated Vertex Cover, Target Set Selection and Vector Dominating Set. CoRR (2023)
Huairui Chu
A Tight Lower Bound for Compact Set Packing. CoRR (2023)
Huairui Chu, Mingyu Xiao, Zhe Zhang
An Improved Upper Bound for SAT. AAAI (2021)
Huairui Chu, Mingyu Xiao, Zhe Zhang
An improved upper bound for SAT. Theor. Comput. Sci. 887 (2021)
Huairui Chu, Mingyu Xiao, Zhe Zhang
An Improved Upper Bound for SAT. CoRR (2020)