通过二进制编码乘法运算求解乘法程序

Solving multiplicative programs by binary-encoding the multiplication operation

• Payman Ghasemi Saghand
• Fabian Rigterink
• Vahid Mahmoodian
• Hadi Charkhgard 通讯