Chuan Luo
Scholar

Chuan Luo

Google Scholar ID: MfJGmUUAAAAJ
Beihang University, China
Constraint SolvingSATSMTSatisfiabilitySatisfiability Modulo Theories
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,391
 
H-index
29
 
i10-index
54
 
Publications
20
 
Co-authors
17
list available
Contact
No contact links provided.
Publications
5 items
Action-Aware Generative Sequence Modeling for Short Video Recommendation
2026
Cited
0
Towards Comprehensive Sampling of SMT Solutions
2025
Cited
0
SMT(LIA) Sampling with High Diversity
arXiv.org · 2025
Cited
0
Designing LLM-simulated Immersive Spaces to Enhance Autistic Children's Social Affordances Understanding
2025
Cited
0
Better Understandings and Configurations in MaxSAT Local Search Solvers via Anytime Performance Analysis
arXiv.org · 2024
Cited
1
Resume (English only)
Co-authors
17 total
Shaowei Cai
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Co-author 2
Co-author 2
Qingwei Lin
Qingwei Lin
Microsoft
Co-author 4
Co-author 4
Hongyu Zhang
Hongyu Zhang
Chongqing University
Bo Qiao
Bo Qiao
Microsoft Research
Dongmei Zhang
Dongmei Zhang
Microsoft Research
Pu Zhao
Pu Zhao
Microsoft Research