Convergence of Warning Propagation Algorithms for Random Satisfiable Instances

DOI10.3724/SP.J.1001.2013.04213zbMath1289.68150OpenAlexW2316754834MaRDI QIDQ5398585

Li Wei, Xiao-Feng Wang, Dao-Yun Xu

Publication date: 28 February 2014

Published in: Journal of Software (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1001.2013.04213

zbMATH Keywords

convergence analysisphase transitionsatisfiability problemwarning propagation algorithm

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Randomized algorithms (68W20)

This page was built for publication: Convergence of Warning Propagation Algorithms for Random Satisfiable Instances