Solving random satisfiable 3CNF formulas in expected polynomial time (Q3581497)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Solving random satisfiable 3CNF formulas in expected polynomial time |
scientific article |
Statements
Solving random satisfiable 3CNF formulas in expected polynomial time (English)
0 references
16 August 2010
0 references
