Variable ordering in SBDD considering function in spectral domain
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review
Details
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 6th International Workshop on Boolean Problems, Freiberg, Germany, 23-24 September 2004 |
| Editors | B. Steinbach |
| Pages | 265-270 |
| Publication status | Published - 2004 |
| Publication type | A4 Article in a conference publication |