Automating Extended Resolution for the Boolean Satisfiability Problem
布尔可满足性问题的自动化扩展解决方案
基本信息
- 批准号:575390-2022
- 负责人:
- 金额:$ 1.27万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Alexander Graham Bell Canada Graduate Scholarships - Master's
- 财政年份:2022
- 资助国家:加拿大
- 起止时间:2022-01-01 至 2023-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
No summary - Aucun sommaire
没有总结- Aucun sommaire
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Chung, JonathanJT其他文献
Chung, JonathanJT的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
Extended Synaptotagmins在内质网与细胞质膜互作中的机制研究
- 批准号:91854117
- 批准年份:2018
- 资助金额:92.0 万元
- 项目类别:重大研究计划
相似海外基金
High-resolution extended-depth phase-engineered objectives to accelerate spatial 'omics R&D through computational optics
高分辨率扩展深度阶段工程物镜加速空间组学研究
- 批准号:
10761173 - 财政年份:2023
- 资助金额:
$ 1.27万 - 项目类别:
Extended Resolution SAT Solvers
扩展分辨率 SAT 解算器
- 批准号:
567073-2021 - 财政年份:2021
- 资助金额:
$ 1.27万 - 项目类别:
University Undergraduate Student Research Awards
Extended Signal Processing by Sparse Arrays and Its Application to High-Resolution Sensing
稀疏阵列扩展信号处理及其在高分辨率传感中的应用
- 批准号:
20K04500 - 财政年份:2020
- 资助金额:
$ 1.27万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Extended super-resolution three-dimensional mechanical probing in living cells.
活细胞中的扩展超分辨率三维机械探测。
- 批准号:
EP/S004459/1 - 财政年份:2019
- 资助金额:
$ 1.27万 - 项目类别:
Research Grant
Pedotransfer functions for extended hydraulic models using high resolution soil hydraulic measurements
使用高分辨率土壤水力测量的扩展水力模型的 Pedotransfer 函数
- 批准号:
404632386 - 财政年份:2018
- 资助金额:
$ 1.27万 - 项目类别:
Research Grants
3D-CE-MRA with High-Resolution Extended Acquisition
具有高分辨率扩展采集功能的 3D-CE-MRA
- 批准号:
6382847 - 财政年份:2001
- 资助金额:
$ 1.27万 - 项目类别:
HIGH-RESOLUTION EXTENDED DNA MAPPING OF YACS
YACS 的高分辨率扩展 DNA 作图
- 批准号:
2209210 - 财政年份:1993
- 资助金额:
$ 1.27万 - 项目类别:
HIGH-RESOLUTION EXTENDED DNA MAPPING OF YACS
YACS 的高分辨率扩展 DNA 作图
- 批准号:
2209212 - 财政年份:1993
- 资助金额:
$ 1.27万 - 项目类别:
HIGH-RESOLUTION EXTENDED DNA MAPPING OF YACS
YACS 的高分辨率扩展 DNA 作图
- 批准号:
2209211 - 财政年份:1993
- 资助金额:
$ 1.27万 - 项目类别:
Effect of Model Resolution on Extended Range Prediction
模型分辨率对扩展范围预测的影响
- 批准号:
9001747 - 财政年份:1990
- 资助金额:
$ 1.27万 - 项目类别:
Continuing Grant














{{item.name}}会员




