Jincheng Zhou

An algorithm for solving satisfiability problem based on the structural information of formulas

Daoyun Xu, Zaijun Zhang, Jincheng Zhou, 2021, Frontiers Comput. Sci..

A Structural Entropy Measurement Principle of Propositional Formulas in Conjunctive Normal Form

Daoyun Xu, Zaijun Zhang, Jincheng Zhou, 2021, Entropy.

UPPER BOUND ON THE SATISFIABILITY THRESHOLD OF REGULAR RANDOM ( k , s )-SAT PROBLEM

Daoyun Xu, Jincheng Zhou, Daoyun Xu, 2016 .