[4K2-OS-16b] [Organized Session] OS-16

[4K2-OS-16b-05] Frequent pattern mining for decision variables towards improving restart strategy

〇haruki fukuta¹, hidetomo nabeshima¹ (1. University of Yamanashi)

Keywords:SAT, learnt clause, frequent pattern mining, restart strategy

Restart strategy is one of heuristics used in CDCL solvers which restarts the search process to make a change to the search space. In this study, we show the empirical results that Glucose restart strategy does not often give good change to the search space after restart. We show that there are frequent patterns of decision variables that will cause bad restarts. This result can give a hint that how to design the variable selection heuristics to give good changes to the search space after restart.