Convergence of warning propagation algorithms for random satisfiable instances

DOI10.3724/SP.J.1001.2013.04213MaRDI QIDQ5398585zbMATH OpenOpenAlexFDO

Authors Li Wei, Xiao-Feng Wang, Daoyun 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)

Recommendations

• Complete convergence of message passing algorithms for some satisfiability problems
• Complete Convergence of Message Passing Algorithms for Some Satisfiability Problems
• Survey propagation: An algorithm for satisfiability
• Walksat Stalls Well Below Satisfiability
• Characterizing Propagation Methods for Boolean Satisfiability

Cited in

(3)

• Complete convergence of message passing algorithms for some satisfiability problems
• Complete Convergence of Message Passing Algorithms for Some Satisfiability Problems
• Convergence of the belief propagation algorithm for RB model instances

This page was built for publication: Convergence of warning propagation algorithms for random satisfiable instances

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5398585)