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 }}
相似国自然基金
基于单侧J-积分的FRP-混凝土界面疲劳裂纹扩展行为表征
- 批准号：12302240
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于可扩展去蜂窝架构的大规模低时延高可靠通信研究
- 批准号：62371039
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
Rho GTPases家族成员Rho1、RacA和Cdc42通过调控活性氧代谢参与了扩展青霉的生长发育及致病过程
- 批准号：32360783
- 批准年份：2023
- 资助金额：32 万元
- 项目类别：地区科学基金项目
轨道车辆典型焊接结构复合型裂纹扩展机理及统一描述方法研究
- 批准号：52375159
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
区块链系统中面向业务优化的混合状态验证机制的可扩展性研究
- 批准号：62302202
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Clinical Feasibility of Wireless Catheter-Free Urodynamics for Extended, Comprehensive Urological Evaluation in the Home Setting
无线无导管尿动力学在家庭环境中进行扩展、综合泌尿外科评估的临床可行性
- 批准号：
10762486 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
High-resolution extended-depth phase-engineered objectives to accelerate spatial 'omics R&D through computational optics
高分辨率扩展深度阶段工程物镜加速空间组学研究
- 批准号：
10761173 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Genomics of MDRO Transmission in Nursing Homes
疗养院 MDRO 传播的基因组学
- 批准号：
10549491 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Development of a mechanistically novel Gram-negative antibiotic targeting MsbA-mediated Lipopolysaccharide Biogenesis
开发一种机制新颖的革兰氏阴性抗生素，靶向 MsbA 介导的脂多糖生物发生
- 批准号：
10584170 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Harnessing Antibody Responses to Prevent and Treat Urinary Tract Infections
利用抗体反应预防和治疗尿路感染
- 批准号：
10523527 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：