Alert button

Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving

Dec 04, 2019
Xujie Si, Yujia Li, Vinod Nair, Felix Gimeno

Figure 1 for Prioritized Unit Propagation with Periodic Resetting is (Almost) All You Need for Random SAT Solving

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: