2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2025
Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction
Minzhong Luo, Yudong Sun, Yin Long
Solving systems of Boolean equations is a fundamental task in symbolic computation and algebraic cryptanalysis, with wide-ranging applications in cryptography, coding theory, and f…
cs.AI2018★ 2 cited
Automatic Derivation Of Formulas Using Reforcement Learning
MinZhong Luo, Li Liu
This paper presents an artificial intelligence algorithm that can be used to derive formulas from various scientific disciplines called automatic derivation machine. First, the for…