Mao Luo | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Yu Li
112 publications
Chu-Min Li
14 publications
Fan Xiao
7 publications
Zhipeng Lu
6 publications
Felip Manyà
4 publications
Xinyun Wu
1 publication
Shuolin Li
1 publication

research

∙ 12/11/2021

Branching Strategy Selection Approach Based on Vivification Ratio

The two most effective branching strategies LRB and VSIDS perform differ...

0 Mao Luo, et al. ∙

research

∙ 07/29/2018

Clause Vivification by Unit Propagation in CDCL SAT Solvers

Original and learnt clauses in Conflict-Driven Clause Learning (CDCL) SA...

0 Chu-Min Li, et al. ∙