Tampere University of Technology

TUTCRIS Research Portal

Variable ordering in SBDD considering function in spectral domain

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationProceedings of the 6th International Workshop on Boolean Problems, Freiberg, Germany, 23-24 September 2004
EditorsB. Steinbach
Pages265-270
Publication statusPublished - 2004
Publication typeA4 Article in a conference publication

Publication forum classification