Scholar
Chuan Luo
Google Scholar ID: MfJGmUUAAAAJ
Beihang University, China
Constraint Solving
SAT
SMT
Satisfiability
Satisfiability Modulo Theories
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
2,391
H-index
29
i10-index
54
Publications
20
Co-authors
17
list available
Publications
7 items
Context-Aware Functional Modeling for Android Third-Party Library Detection
2026
Cited
0
Multi-Modal Anomaly Detection: A Survey
2026
Cited
0
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
Co-authors
12 total
Shaowei Cai
Institute of Software, Chinese Academy of Sciences
Qingwei Lin
Microsoft
Hongyu Zhang
Chongqing University
Bo Qiao
Microsoft Research
Dongmei Zhang
Microsoft Research
Pu Zhao
Microsoft Research
Holger Hoos
RWTH Aachen University, Germany • Leiden University, Netherlands • University of British Columbia
Yingnong Dang
Microsoft
