Extended Resolution SAT Solvers
Extended Resolution SAT Solvers
扩展分辨率 SAT 解算器
批准号：
567073-2021
负责人：
Chung, Jonathan
金额：
$0.44万
依托单位：
依托单位国家：
加拿大
项目类别：
University Undergraduate Student Research Awards
财政年份：
2021
资助国家：
加拿大
项目状态：
已结题
起止时间：
2021-01-01 至 2022-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Real-time imaging for ultrasound-guided prostate cancer biopsy
-
批准号：417348-2011
-
项目类别：University Undergraduate Student Research Awards
-
资助金额：$0.33万
-
财政年份：2011
-
负责人：Chung, Jonathan
-
依托单位：
国内基金
海外基金
基于Resolution算法的交互时态逻辑自动验证机
-
批准号：61303018
-
项目类别：青年科学基金项目
-
资助金额：22.0万元
-
批准年份：2013
-
负责人：章岚
-
依托单位：
