Minzhong Luo
Identifiers
No identifiers captured yet.
Papers (2)
- Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction cs.CR · 2025 · author #1
- Automatic Derivation Of Formulas Using Reforcement Learning cs.AI · 2018 · author #1
Mentions
No mention provenance yet.
Frequent Coauthors
- Li Liu 1 shared papers
- Yin Long 1 shared papers
- Yudong Sun 1 shared papers