Jiang Liu

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