Jingchao Chen

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 13

Top Topics

Font Recognition

Unit Propagation

Clause Learning

Top Venues

Briefings Bioinform.

Publications

Ning Dai, Zhehao Lu, Jingchao Chen, Kaixin Xu, Xudong Hu, Yanhong Yuan
Research on the Algorithm of Position Correction for High-Speed Moving Express Packages Based on Traditional Vision and AI Vision. Sensors 24 (3) (2024)
Long-Hao Jia, Yingjian Wu, Yanqi Dong, Jingchao Chen, Wei-Hua Chen, Xing-Ming Zhao
A survey on computational strategies for genome-resolved gut metagenomics. Briefings Bioinform. 24 (3) (2023)
Jyoti Singh, Jingchao Chen
Deadline Aware Task Submission and Dynamic Virtual Machine Creation Technique in Cloud Computing. ICCBN (2021)
Jingchao Chen, Shiyi Mu, Shugong Xu, Youdong Ding
HENet: Forcing a Network to Think More for Font Recognition. CoRR (2021)
Jingchao Chen, Shiyi Mu, Shugong Xu, Youdong Ding
HENet: Forcing a Network to Think More for Font Recognition. AISS (2021)
Jingchao Chen
Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting. ISAIM (2020)
Ming Zhao, Jingchao Chen, Mengyao Xu
Comparison of Accuracy Estimation for Weighted k-Nearest Neighbor Classifiers. FSDM (2019)
Jyoti Singh, Jingchao Chen
Optimizing Energy Consumption for Cloud Computing: A Cluster and Migration Based Approach (CMBA). CSAI (2019)
Jingchao Chen
Core First Unit Propagation. CoRR (2019)
Jingchao Chen
Improving SAT Solvers via Blocked Clause Decomposition. CoRR (2016)
Jingchao Chen
Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy. CoRR (2016)
Jingchao Chen
Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting. CoRR (2016)
Jingchao Chen
Fast Blocked Clause Decomposition with High Quality. CoRR (2015)
Jingchao Chen
A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers. TAMC (2014)
Jingchao Chen
A Dynamic Phase Selection Strategy for Satisfiability Solvers CoRR (2012)
Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao
Joint Relay and Jammer Selection for Secure Two-Way Relay Networks. IEEE Trans. Inf. Forensics Secur. 7 (1) (2012)
Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao
Joint Relay and Jammer Selection for Secure Two-Way Relay Networks. ICC (2011)
Jingchao Chen
Phase Selection Heuristics for Satisfiability Solvers CoRR (2011)
Jingchao Chen, Rongqing Zhang, Lingyang Song, Zhu Han, Bingli Jiao
Joint Relay and Jammer Selection for Secure Two-Way Relay Networks CoRR (2011)
Jingchao Chen
Exploiting Dynamically Propositional Logic Structures in SAT CoRR (2011)
Jingchao Chen
Solving Rubik's Cube Using SAT Solvers CoRR (2011)
Jingchao Chen, Lingyang Song, Zhu Han, Bingli Jiao
Joint Relay and Jammer Selection for Secure Decode-and-Forward Two-Way Relay Communications. GLOBECOM (2011)
Renxia Wan, Jingchao Chen, Lixin Wang, Xiaoke Su
Grid-based clustering over an evolving data stream. Int. J. Data Min. Model. Manag. 1 (4) (2009)
Jingchao Chen
Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques. SAT (2009)
Huiqin Wang, Jingchao Chen
Improving Self-Quotient Image Method of NPR. CSSE (6) (2008)
Jingchao Chen
Optimizing stable in-place merging. Theor. Comput. Sci. 302 (1-3) (2003)
Jingchao Chen
An Improvement on Tree Selection Sort. ALENEX (2002)
Jingchao Chen
Efficient heuristic algorithms for finding multi-constrained paths. ICC (2002)