f(x1, x2, x3) = x12 + x22 + x32
A SAT expression
We can assume that proci computes xi ,
i = 1, 2, 3.
For proc1 , we can store the values of
x2 and x3 instead of their genetic representation.
Each process guesses the values of the variables in a part of the boolean tree.
We can replace the subtrees from the samples with the values obtained by their evaluation.
