Heuristic Survey Propagation Algorithm for Solving QBF Problem (Q2917156)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Heuristic Survey Propagation Algorithm for Solving QBF Problem |
scientific article |
Statements
Heuristic Survey Propagation Algorithm for Solving QBF Problem (English)
0 references
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
