Identifying Good Rules for Efficient SAT Encodings of Single-Constant Multiplication Using Machine Learning

Chufeng Jiang, Neng-Fa Zhou

The Single Constant Multiplication problem is a fundamental NP-hard optimization task in hardware design, which seeks to decompose a fixed constant using only additions, subtractio…