36 citations · 36 across the 2 of their papers we have counts for
2 papers
cs.AI2026
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…
cs.LG2023★ 36 cited
Financial Time-Series Forecasting: Towards Synergizing Performance And Interpretability Within a Hybrid Machine Learning Approach
Shun Liu, Kexin Wu, Chufeng Jiang +2
In the realm of cryptocurrency, the prediction of Bitcoin prices has garnered substantial attention due to its potential impact on financial markets and investment strategies. This…