4 citations · 6 across the 2 of their papers we have counts for
3 papers
cs.LO2016
Improving SAT Solvers via Blocked Clause Decomposition
Jingchao Chen
The decision variable selection policy used by the most competitive CDCL (Conflict-Driven Clause Learning) SAT solvers is either VSIDS (Variable State Independent Decaying Sum) or…
cs.LO2012★ 2 cited
A Dynamic Phase Selection Strategy for Satisfiability Solvers
Jingchao Chen
The phase selection is an important of a SAT Solver based on conflict-driven DPLL. This paper presents a new phase selection strategy, in which the weight of each literal is define…
cs.LO2011★ 4 cited
Phase Selection Heuristics for Satisfiability Solvers
Jingchao Chen
In general, a SAT Solver based on conflict-driven DPLL consists of variable selection, phase selection, Boolean Constraint Propagation, conflict analysis, clause learning and its d…