EBD Algebraic Decompositions
Stands for Encode, Binary, Decode
Use binary codes
to encode multi-valued
variable x, e.g
Operate with fast binary implementations imported from SIS
Convert (decode) 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