Jingchao Chen

HENet: Forcing a Network to Think More for Font Recognition

Shugong Xu, Youdong Ding, Shiyi Mu, 2021, AISS.

MiniSAT BCD and abcdSAT : Solvers Based on Blocked Clause Decomposition

Jingchao Chen, 2015 .

Optimizing stable in-place merging

Jingchao Chen, 2003, Theor. Comput. Sci..

PNMBG: Point Neighborhood Merging with Border Grids

Renxia Wan, Xiaoke Su, Jingchao Chen, 2009 .

A New SAT Encoding of the At-Most-One Constraint

Jingchao Chen, Jingchao Chen, 2010 .