Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed

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



We propose prioritized unit propagation with periodic resetting, which is a simple but surprisingly effective algorithm for solving random SAT instances that are meant to be hard. In particular, an evaluation on the Random Track of the 2017 and 2018 SAT competitions shows that a basic prototype of this simple idea already ranks at second place in both years. We share this observation in the hope that it helps the SAT community better understand the hardness of random instances used in competitions and inspire other interesting ideas on SAT solving.



Share this with someone who'll enjoy it:

   Access Paper Source



Share this with someone who'll enjoy it: