Sept. 19, 2002
Workshop on Boolean Problems
Future Work
•We believe NSC behavior will be superior.
–need to solve computation efficiency problems
•elimination in reverse topological order means that intermediate variables have to be used (rather than only PI)
–                which means that it is easier to maintain conformity.
–implies that NSC-CF contains more flexibility than SS-CF
–
–
–however, elimination can cause non-conformity