Minzhong Luo

Identifiers

No identifiers captured yet.

Papers (2)

1. Variables Ordering Optimization in Boolean Characteristic Set Method Using Simulated Annealing and Machine Learning-based Time Prediction cs.CR · 2025 · author #1
2. 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