pith. sign in

Jingchao Chen

Identifiers

  • name variant Jingchao Chen 0.60 · backfill

Papers (11)

  1. Core First Unit Propagation cs.LO · 2019 · author #1
  2. Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting cs.SE · 2016 · author #1
  3. Improving abcdSAT by At-Least-One Recently Used Clause Management Strategy cs.LO · 2016 · author #1
  4. Improving SAT Solvers via Blocked Clause Decomposition cs.LO · 2016 · author #1
  5. Fast Blocked Clause Decomposition with High Quality cs.LO · 2015 · author #1
  6. Two-Fold Circle-Covering of the Plane under Congruent Voronoi Polygon Conditions math.MG · 2014 · author #1
  7. A Dynamic Phase Selection Strategy for Satisfiability Solvers cs.LO · 2012 · author #1
  8. Joint Relay and Jammer Selection for Secure Two-Way Relay Networks cs.IT · 2011 · author #1
  9. Phase Selection Heuristics for Satisfiability Solvers cs.LO · 2011 · author #1
  10. Exploiting Dynamically Propositional Logic Structures in SAT cs.LO · 2011 · author #1
  11. Solving Rubik's Cube Using SAT Solvers cs.AI · 2011 · author #1

Mentions

  • 1410.1372 #1 · backfill · confidence 0.70 Jingchao Chen
  • 1208.1613 #1 · backfill · confidence 0.70 Jingchao Chen
  • 1111.7108 #1 · backfill · confidence 0.70 Jingchao Chen
  • 1106.1372 #1 · backfill · confidence 0.70 Jingchao Chen
  • 1106.1370 #1 · backfill · confidence 0.70 Jingchao Chen
  • 1105.1436 #1 · backfill · confidence 0.70 Jingchao Chen

Frequent Coauthors