Sept. 19, 2002

Workshop on
Boolean Problems

Decomposition (extraction) and Encoding

1.Select
bound set *X**B*

2.Imagine that a block *B*1 has *v**1* values. (*v**1* is the product of
values in *X**B*)

3.Compute
the CF of block *B*1

4.Encode *B*1* *using value-reducing encoding to
get *B*2

5.Inputs
in *X**C* are shared, which leads to non-disjoint decomposition