S. Liu

activity

20192024

collaborators

Showing 2020Show all

2 papers · 1 filter

cs.DS2020

Space-Efficient Interior Point Method, with applications to Linear Programming and Maximum Weight Bipartite Matching

S. Cliff Liu, Zhao Song, Hengjie Zhang +2

We study the problem of solving linear program in the streaming model. Given a constraint matrix $A \in R^{m \times n}$ and vectors $b \in R^{m}, c \in R^{n}$ , w…

cs.CC2020

Simpler Partial Derandomization of PPSZ for $k$ -SAT

S. Cliff Liu

We give a simpler derandomization of the best known $k$ -SAT algorithm PPSZ [FOCS'97, JACM'05] for $k$ -SAT with \emph{sub-exponential} number of solutions. The existing derandomizat…

Space-Efficient Interior Point Method, with applications to Linear Programming and Maximum Weight Bipartite Matching

Simpler Partial Derandomization of PPSZ for k-SAT

Simpler Partial Derandomization of PPSZ for $k$ -SAT