An Adaptive Strategy for Tuning Duplicate Trails in SAT Solvers
Sign Up to like & getrecommendations! Published in 2019 at "Symmetry"
DOI: 10.3390/sym11020197
Abstract: In mainstream conflict driven clause learning (CDCL) solvers, because of frequent restarts and phase saving, there exists a large proportion of duplicate assignment trails before and after restarts, resulting in unnecessary time wastage during solving.… read more here.
Keywords: strategy tuning; duplicate; duplicate trails; tuning duplicate ... See more keywords