Sept. 19, 2002
Workshop on Boolean Problems
Comparisons
•                is a general MV Boolean relation
–relatively hard to compute and store
•                 and                can be computed for each output                  and              They are symmetric Boolean relations.
•                 can be obtained by elimination in reverse topological order
•                can be obtained by elimination in topological order