Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jingchao Chen
Map detail
Jingchao Chen10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJingchao ChenAJingchao ChenResearcherJoint Relay and Jammer Selection for Secure Two-Way Relay NetworksWJoint Relay and Jammer ...preprint / 2011Exploiting Dynamically Propositional Logic Structures in SATWExploiting Dynamically ...preprint / 2011Phase Selection Heuristics for Satisfiability SolversWPhase Selection Heurist...preprint / 2011Solving Rubik's Cube Using SAT SolversWSolving Rubik's Cube Us...preprint / 2011A Dynamic Phase Selection Strategy for Satisfiability SolversWA Dynamic Phase Selecti...preprint / 2012Fast Blocked Clause Decomposition with High QualityWFast Blocked Clause Dec...preprint / 2015Improving SAT Solvers via Blocked Clause DecompositionWImproving SAT Solvers v...preprint / 2016Two-Fold Circle-Covering of the Plane under Congruent Voronoi Polygon ConditionsWTwo-Fold Circle-Coverin...preprint / 2016Improving abcdSAT by At-Least-One Recently Used Clause Management StrategyWImproving abcdSAT by At...preprint / 2016
Person9 links

Jingchao Chen

Researcher