where v1, v2, . . . . v represents the current state and v., v, ..., v, represents the next state. By converting this ... one register is eventually equal to the sum of the values in two other registers. In such ... atomic proposition names. .... If R is an n-ary relation over a finite domain D, then R can be represented by an OBDD by using ...
2MB Sizes
1 Downloads
272 Views