Title: Efficient symbolic computation of generalised spectra
Abstract: An efficient algorithm is presented for the calculation of any generalised spectrum represented as an algebraic decision diagram (ADD) from an ordered binary decision diagram (OBDD) of a Boolean function, and vice versa.
Publication Year: 1997
Publication Date: 1997-01-01
Language: en
Type: article
Indexed In: ['crossref']
Access and Citation
Cited By Count: 2
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot