Login / Signup
Wanqian Luo
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 3
Top Topics
Bayesian Methods
Machine Learning Methods
Hierarchical Structure
Random Sat
Top Venues
CoRR
KDD
Mach. Intell. Res.
</>
Publications
</>
Yang Li
,
Xinyan Chen
,
Wenxuan Guo
,
Xijun Li
,
Wanqian Luo
,
Junhua Huang
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.
CoRR
(2023)
Yang Li
,
Xinyan Chen
,
Wenxuan Guo
,
Xijun Li
,
Wanqian Luo
,
Junhua Huang
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Junchi Yan
HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline.
KDD
(2023)
Wenxuan Guo
,
Hui-Ling Zhen
,
Xijun Li
,
Wanqian Luo
,
Mingxuan Yuan
,
Yaohui Jin
,
Junchi Yan
Machine Learning Methods in Solving the Boolean Satisfiability Problem.
Mach. Intell. Res.
20 (5) (2023)