EBD Algebraic Decompositions
Stands for
E
ncode,
B
inary,
D
ecode
Use binary codes
to
e
ncode
multi-valued variable
x, e.g
Operate with fast
b
inary implementations
imported from SIS
Convert (
d
ecode) back to multi-valued
Example
:
mvsis> ebd_fx
mvsis> ebd_decomp
J-H Jiang, A.
Mishchenko, R.
Brayton,
Reducing Multi-
Valued
Operations to
Binary, IWLS’02
Results: Quality almost as good, but much faster