Effective Handling of Conflict Depression Phases in CDCL SAT with Deep Neural Networks
Effective Handling of Conflict Depression Phases in CDCL SAT with Deep Neural Networks
利用深度神经网络有效处理 CDCL SAT 中的冲突抑郁阶段
批准号：
557809-2021
负责人：
Chowdhury, MdSolimulMSC
金额：
$3.28万
依托单位国家：
加拿大
项目类别：
Postdoctoral Fellowships
财政年份：
2022
资助国家：
加拿大
项目状态：
已结题
起止时间：
2022-01-01 至 2023-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Computer Science, Artificial Intelligence, Automated Reasoning, Neural-Symbolic Integration, Machine Learning, Deep Neural Networks, Deep Learning, SAT Solving, CDCL, Branching Heuristics
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
