Sept. 19, 2002
Workshop on
Boolean Problems
Goal of this paper
Develop a theory of ND networks where
–a network can be manipulated using classical operations,
•{eliminate, optimize, decompose,
…}
–all the intermediate networks conform to the external
specification.
•we need to understand
when a particular network operation may increase a particular type behavior
•this might cause the
network to not conform