Sept. 19, 2002
Workshop on Boolean Problems
Normal Simulation
fanins
fanouts
node with a
non-deterministic
relation
3
1
1
2
2
2
{0,2}
2
