Abstract
Parallel portfolio-based algorithms have become a standard methodology for building parallel algorithms for SAT. In this methodology, different algorithms (or the same one with different random seeds) compete to solve a given problem instance. Moreover, the portfolio is usually equipped with cooperation, this way algorithms exchange important knowledge acquired during the search to solve a given problem instance. Portfolio algorithms based on complete solvers exchange learned clauses which are incorporated within each search engine (e.g. ManySAT [1] and plingeling), while those based on incomplete solvers [2] exchange the best assignment for the variables found so far in order to properly craft a new assignment for the variables to restart from. These strategies range from a voting mechanism where each algorithm in the portfolio suggests a value for each variable to probabilistic constructions.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Hamadi, Y., Jabbour, S., Sais, L.: ManySAT: A Parallel SAT Solver. Journal on Satisfiability, Boolean Modeling and Computation, JSAT 6(4), 245–262 (2009)
Arbelaez, A., Hamadi, Y.: Improving Parallel Local Search for SAT. In: Coello, C.A.C. (ed.) LION 2011. LNCS, vol. 6683, pp. 46–60. Springer, Heidelberg (2011)
Balint, A., Fröhlich, A.: Improving Stochastic Local Search for SAT with a New Probability Distribution. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol. 6175, pp. 10–15. Springer, Heidelberg (2010)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arbelaez, A., Codognet, P. (2012). Towards Massively Parallel Local Search for SAT. In: Cimatti, A., Sebastiani, R. (eds) Theory and Applications of Satisfiability Testing – SAT 2012. SAT 2012. Lecture Notes in Computer Science, vol 7317. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31612-8_45
Download citation
DOI: https://doi.org/10.1007/978-3-642-31612-8_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-31611-1
Online ISBN: 978-3-642-31612-8
eBook Packages: Computer ScienceComputer Science (R0)