Average case results for satisfiability algorithms under the random-clause-width model (Q1370606)
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: Average case results for satisfiability algorithms under the random-clause-width model |
scientific article; zbMATH DE number 1078874
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Average case results for satisfiability algorithms under the random-clause-width model |
scientific article; zbMATH DE number 1078874 |
Statements
Average case results for satisfiability algorithms under the random-clause-width model (English)
0 references
26 October 1997
0 references
satisfiability problem
0 references
random-clause-width model
0 references
