Abstract
While the application of unit propagation (UP) is of vital importance in systematic search solvers to solve structured problems of the SAT competitions [8], its application in stochastic local search (SLS) solvers is rare. Examples for combining UP with SLS solvers are UnitWalk [4] and QingTing [6] and both solvers show strong performance on structured instances.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have