Sept. 19, 2002
Workshop on Boolean Problems
Merging
•
Inverse of partial encoding
merge
v
1
and
v
2
