Jiang Liu

According to our database, Jiang Liu authored at least 13 papers between 2007 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2017

A Linear Algebra Formulation for Boolean Satisfiability Testing.

Chengling Fang, Jiang Liu

CoRR, 2017

2015

Nonexistence of Minimal Pairs in L[d].

Chengling Fang, Jiang Liu, Guohua Wu, Mars M. Yamaleev

Proceedings of the Evolving Computability - 11th Conference on Computability in Europe, 2015

2012

Almost universal cupping and diamond embeddings.

Jiang Liu, Guohua Wu

Ann. Pure Appl. Log., 2012

2011

An almost-universal cupping degree.

Jiang Liu, Guohua Wu

J. Symb. Log., 2011

A superhigh diamond in the c.e. <i>tt</i>-degrees.

Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu

Arch. Math. Log., 2011

Cupping and Diamond Embeddings: A Unifying Approach.

Chengling Fang, Jiang Liu, Guohua Wu

Proceedings of the Models of Computation in Context, 2011

2010

Infima of d.r.e. degrees.

Jiang Liu, Shengling Wang, Guohua Wu

Arch. Math. Log., 2010

Joining to high degrees via noncuppables.

Jiang Liu, Guohua Wu

Arch. Math. Log., 2010

Degrees with Almost Universal Cupping Property.

Jiang Liu, Guohua Wu

Proceedings of the Programs, Proofs, Processes, 6th Conference on Computability in Europe, 2010

2009

Embedding the Diamond Lattice in the c.e. tt-Degrees with Superhigh Atoms.

Douglas Cenzer, Johanna N. Y. Franklin, Jiang Liu, Guohua Wu

Proceedings of the Theory and Applications of Models of Computation, 6th Annual Conference, 2009

Infima of <i>d</i>.<i>r</i>.<i>e</i>. Degrees.

Jiang Liu, Shengling Wang, Guohua Wu

Proceedings of the Mathematical Theory and Computational Practice, 2009

2008

Joining to High Degrees.

Jiang Liu, Guohua Wu

Proceedings of the Logic and Theory of Algorithms, 2008

2007

Isolation, Infima and Diamond Embeddings.

Jiang Liu, Guohua Wu

J. Log. Comput., 2007