A heuristic survey propagation algorithm for solving QBF problems
type: Item
instance of: scholarly article
zbMATH Open document ID: 1265.68246
DOI: 10.3724/SP.J.1001.2011.03859
author: Minghao Yin
author: Junping Zhou
author: Jigui Sun
author: Wenxiang Gu
published in: Journal of Software
publication date: 2012-10-05T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6091520
zbMATH Keywords: artificial intelligence
zbMATH Keywords: quantified Boolean formulae problem
zbMATH Keywords: conflict driven learning
zbMATH Keywords: satisfiability directed implication and learning
MaRDI profile type: Publication
title: A heuristic survey propagation algorithm for solving QBF problems
description: scientific article; zbMATH DE number 6091520