A complete adaptive algorithm for propositional satisfiability (Q1811072)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A complete adaptive algorithm for propositional satisfiability |
scientific article |
Statements
A complete adaptive algorithm for propositional satisfiability (English)
0 references
10 June 2003
0 references
backtracking
0 references
search frameworks
0 references
satisfiability
0 references
0 references
