Jiang Liu

Publication Activity (10 Years)

Years Active: 2007-2017
Publications (10 Years): 1

Top Topics

Sequence Prediction

Satisfiability Testing

Dimensionality Reduction

Top Venues

Ann. Pure Appl. Log.

Publications

Chengling Fang, Jiang Liu
A Linear Algebra Formulation for Boolean Satisfiability Testing. CoRR (2017)
Chengling Fang, Jiang Liu, Guohua Wu, Mars M. Yamaleev
Nonexistence of Minimal Pairs in L[d]. CiE (2015)
Jiang Liu, Guohua Wu
Almost universal cupping and diamond embeddings. Ann. Pure Appl. Log. 163 (6) (2012)
Jiang Liu, Guohua Wu
An almost-universal cupping degree. J. Symb. Log. 76 (4) (2011)
Chengling Fang, Jiang Liu, Guohua Wu
Cupping and Diamond Embeddings: A Unifying Approach. CiE (2011)
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
-degrees. Arch. Math. Log. 50 (1-2) (2011)
Jiang Liu, Shengling Wang, Guohua Wu
Infima of d.r.e. degrees. Arch. Math. Log. 49 (1) (2010)
Jiang Liu, Guohua Wu
Degrees with Almost Universal Cupping Property. CiE (2010)
Jiang Liu, Guohua Wu
Joining to high degrees via noncuppables. Arch. Math. Log. 49 (2) (2010)
Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu
Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms. TAMC (2009)
Jiang Liu, Shengling Wang, Guohua Wu
. Degrees. CiE (2009)
Jiang Liu, Guohua Wu
Joining to High Degrees. CiE (2008)
Jiang Liu, Guohua Wu
Isolation, Infima and Diamond Embeddings. J. Log. Comput. 17 (6) (2007)