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. |