[Back to Homepage]

Graph Algorithms

  1. S. Cliff Liu, Robert E. Tarjan, Peilin Zhong. Connected Components on a PRAM in Time Logarithmic in the Graph Diameter.
    Manuscript, 2019.

  2. S. Cliff Liu, Robert E. Tarjan. Simple Concurrent Labeling Algorithms for Connected Components. [arxiv] [slides]
    Symposium on Simplicity in Algorithms (SOSA 2019).


Fine-Grained Complexity

  1. S. Cliff Liu. A Partial Derandomization of PPSZ.
    Manuscript, 2019.

  2. S. Cliff Liu. The Curse and Blessing of Not-All-Equal in k-Satisfiability.
    Manuscript, 2019.

  3. S. Cliff Liu. Chain, Generalization of Covering Code, and Deterministic Algorithm for k-SAT. [arxiv] [slides]
    International Colloquium on Automata, Languages, and Programming (ICALP 2018).


Heuristic Search

  1. S. Liu, Gerard de Melo. Should Algorithms for Random SAT and MaxSAT be Different? [arxiv] [slides]
    AAAI Conference on Artificial Intelligence (AAAI 2017).

  2. S. Liu, Periklis A. Papakonstantinou. Local Search for Hard SAT Formulas: the Strength of the Polynomial Law. [pdf]
    AAAI Conference on Artificial Intelligence (AAAI 2016).

  3. S. Liu. An Efficient Implementation for WalkSAT. [arxiv] [code]
    SAT Competition 2016.


Miscellaneous

  1. S. Cliff Liu. Lower Bounds for Small Ramsey Numbers on Hypergraph. [slides]
    Manuscript, 2019.


Last update: March 2019

© 2017 S. Cliff Liu