Recognition of tractable satisfiability problems through balanced polynomial representations (Q1962045)
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: Recognition of tractable satisfiability problems through balanced polynomial representations |
scientific article; zbMATH DE number 1395013
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Recognition of tractable satisfiability problems through balanced polynomial representations |
scientific article; zbMATH DE number 1395013 |
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
0 references
0.87538236
0 references
0 references
0.8663006
0 references
0.86387986
0 references
0.85761356
0 references
0.85396814
0 references
0.8512135
0 references
0.8486189
0 references
