A heuristic survey propagation algorithm for solving QBF problems

DOI10.3724/SP.J.1001.2011.03859MaRDI QIDQ2917156zbMATH OpenFDO

Authors Minghao Yin, Junping Zhou, Jigui Sun, Wenxiang Gu

Publication date 5 October 2012

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

Full work available at URL https://doi.org/10.3724/SP.J.1001.2011.03859

zbMATH Keywords

artificial intelligenceconflict driven learningquantified Boolean formulae problemsatisfiability directed implication and learning

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Message passing algorithm for solving QBF using more reasoning
• Using stochastic local search to solve quantified Boolean formulae
• Formal Methods in Computer-Aided Design
• Using SAT in QBF
• Publication:4828947

Cited in

(2)

• Message passing algorithm for solving QBF using more reasoning
• Survey propagation: An algorithm for satisfiability

This page was built for publication: A heuristic survey propagation algorithm for solving QBF problems

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