4 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
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…