Recognition of tractable satisfiability problems through balanced polynomial representations (Q1962045)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Recognition of tractable satisfiability problems through balanced polynomial representations |
scientific article |
Statements
Recognition of tractable satisfiability problems through balanced polynomial representations (English)
0 references
20 March 2000
0 references
satisfiability
0 references
DIMACS benchmarks
0 references
0 references
