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


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

Publication forum classification