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
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了