A heuristic survey propagation algorithm for solving QBF problems (Q2917156)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A heuristic survey propagation algorithm for solving QBF problems |
scientific article; zbMATH DE number 6091520
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A heuristic survey propagation algorithm for solving QBF problems |
scientific article; zbMATH DE number 6091520 |
Statements
5 October 2012
0 references
artificial intelligence
0 references
quantified Boolean formulae problem
0 references
conflict driven learning
0 references
satisfiability directed implication and learning
0 references
A heuristic survey propagation algorithm for solving QBF problems (English)
0 references
