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
中文摘要
翻译
计算机科学，人工智能，自动推理，神经符号集成，机器学习，深度神经网络，深度学习，SAT求解，CDCL，分支启发式
英文摘要
Computer Science, Artificial Intelligence, Automated Reasoning, Neural-Symbolic Integration, Machine Learning, Deep Neural Networks, Deep Learning, SAT Solving, CDCL, Branching Heuristics
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
海外基金
