Picture for Zhipeng Lü

Zhipeng Lü

Branching Strategy Selection Approach Based on Vivification Ratio

Add code
Dec 11, 2021
Figure 1 for Branching Strategy Selection Approach Based on Vivification Ratio
Figure 2 for Branching Strategy Selection Approach Based on Vivification Ratio
Figure 3 for Branching Strategy Selection Approach Based on Vivification Ratio
Figure 4 for Branching Strategy Selection Approach Based on Vivification Ratio
Viaarxiv icon

Clause Vivification by Unit Propagation in CDCL SAT Solvers

Add code
Jul 29, 2018
Figure 1 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 2 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 3 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Figure 4 for Clause Vivification by Unit Propagation in CDCL SAT Solvers
Viaarxiv icon