2000-02-01
Recognition of tractable satisfiability problems through balanced polynomial representations
Publication
Publication
Discrete Applied Mathematics , Volume 99 - Issue 1-3 p. 229- 244
| Additional Metadata | |
|---|---|
| Elsevier | |
| Discrete Applied Mathematics | |
|
Warners, J., & van Maaren, H. (2000). Recognition of tractable satisfiability problems through balanced polynomial representations. Discrete Applied Mathematics, 99(1-3), 229–244. |
|