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. © 2011 Springer-Verlag.
CITATION STYLE
Gableske, O., & Heule, M. J. H. (2011). EagleUP: Solving random 3-SAT using SLS with unit propagation. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6695 LNCS, pp. 367–368). https://doi.org/10.1007/978-3-642-21581-0_32
Mendeley helps you to discover research relevant for your work.