Jingchao Chen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2002–2020
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | ISAIM | Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting. | Jingchao Chen |
| 2014 | TAMC | A Bit-Encoding Phase Selection Strategy for Satisfiability Solvers. | Jingchao Chen |
| 2011 | GLOBECOM | Joint Relay and Jammer Selection for Secure Decode-and-Forward Two-Way Relay Communications. | Jingchao Chen, Lingyang Song, Zhu Han, Bingli Jiao |
| 2009 | SAT | Building a Hybrid SAT Solver via Conflict-Driven, Look-Ahead and XOR Reasoning Techniques. | Jingchao Chen |
| 2002 | ALENEX | An Improvement on Tree Selection Sort. | Jingchao Chen |