Solving multiplicative programs by binary-encoding the multiplication operation.
Payman Ghasemi SaghandFabian RigterinkVahid MahmoodianHadi CharkhgardPublished in: Comput. Oper. Res. (2023)
Keyphrases
- encoding schemes
- bit string
- encoding scheme
- binary representation
- real time
- logical operations
- sat encodings
- automatic programming
- programming environment
- floating point
- solving problems
- computer programs
- fractal image compression
- combinatorial optimization
- computational complexity
- matrix multiplication
- case study
- information systems
- neural network
- database
- public key cryptosystems