A DNF without Regular Shortest Consensus Path. - Wenqui Huang; Xiangdong Yu (SIAM J. Comput., 1987)

A Physical Model for the Satisfiability Problem. - Wenqui Huang; Wei Li 022; Weifeng Lu; Yuping Zhang (COCOON, 1995)