Heuristic Survey Propagation Algorithm for Solving QBF Problem
From MaRDI portal
Publication:2917156
DOI10.3724/SP.J.1001.2011.03859zbMath1265.68246MaRDI QIDQ2917156
Junping Zhou, Jigui Sun, Minghao Yin, Wen-Xiang Gu
Publication date: 5 October 2012
Published in: Journal of Software (Search for Journal in Brave)
artificial intelligenceconflict driven learningquantified Boolean formulae problemsatisfiability directed implication and learning
Learning and adaptive systems in artificial intelligence (68T05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
This page was built for publication: Heuristic Survey Propagation Algorithm for Solving QBF Problem
