Huawei AI-Solver Group
Huawei AI-Solver Group
新闻
研究论文
成员
联系
Neuroselect: Learning to select clauses in sat solvers
Hongduo Liu
,
Peng Xu
,
Yuan Pu
,
Lihao Yin
,
Hui-Ling Zhen
,
Mingxuan Yuan
,
Tsung-Yi Ho
,
Bei Yu
January 2024
Cite
Type
Conference paper
Publication
Proceedings of the 61st ACM/IEEE Design Automation Conference
Add the
full text
or
supplementary notes
for the publication here using Markdown formatting.
Cite
×