刷新
{{item.name}}会员
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
基本信息
- 批准号：RGPIN-2016-05527
- 负责人：
- 金额：$ 3.35万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2017
- 资助国家：加拿大
- 起止时间：2017-01-01 至 2018-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
With increasing computing power comes the desire to apply computers to solve ever more complex tasks. Many of these tasks require dealing with problems that are known to be computationally intractable. This means that in the
随着计算能力的提高，人们希望应用计算机来解决越来越复杂的任务。这些任务中的许多需要处理已知在计算上难以处理的问题。这意味着在
项目成果
期刊论文数量（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 }}
Bacchus, Fahiem其他文献
Solving #SAT and Bayesian Inference with Backtracking Search
- DOI：
10.1613/jair.2648 - 发表时间：
2009-01-01 - 期刊：
- 影响因子：5
- 作者：
Bacchus, Fahiem;Dalmao, Shannon;Pitassi, Toniann - 通讯作者：
Pitassi, Toniann
Bacchus, Fahiem的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Bacchus, Fahiem', 18)}}的其他基金
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2021
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2019
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2018
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2016
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2015
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2014
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Correlation clustering for identical product detection
用于相同产品检测的相关聚类
- 批准号：
469745-2014 - 财政年份：2014
- 资助金额：
$ 3.35万 - 项目类别：
Engage Grants Program
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2013
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2012
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Improving the impact and effectiveness of solvers for complete problems
提高解决方案对完整问题的影响和有效性
- 批准号：
41848-2011 - 财政年份：2011
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
基于p53/SAT1/ALOX15信号通路探究纳米塑料暴露诱导肺癌化疗耐药的作用机制
- 批准号：JCZRLH202501242
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
难吸收药物小檗碱基于肠道菌群介导的GABA-SAT1-多胺代谢轴改善肿瘤免疫微环境抗结直肠癌的分子机制研究
- 批准号：QN25H310016
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于P53/SAT1/ALOX15信号通路探讨头穴丛刺通过干预去泛素化酶ATXN3抑制AD模型小鼠铁死亡的机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
SAT1对系统性红斑狼疮患者体内的T淋巴细胞发育分化的调控机制
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
ATF3通过促进SAT1加剧放射性皮肤损伤中铁死亡的机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
SAT1经mTOR通路调控前列腺癌铁死亡介导内分泌耐药机制研究
- 批准号：
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
4-甲氧基黄檀醌通过促进 SAT1 介导的铁死亡抑制肝癌的作用机制研究
- 批准号：2024JJ7324
- 批准年份：2024
- 资助金额：0.0 万元
- 项目类别：省市级项目
SAT1/HIF-1α调控滑膜巨噬细胞炎症及铁死亡促进颞下颌关节骨关节炎的机制研究
- 批准号：82301108
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
P-tau驱动SAT1依赖性铁死亡促糖尿病视网膜神经节细胞丧失的作用机制研究
- 批准号：82370833
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
SAT相关问题的求解算法研究
- 批准号：
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
相似海外基金
Research and Development of a New SAT Solving Technologies for Constraint Satisfaction Problems
约束满足问题新型SAT求解技术的研究与开发
- 批准号：
22K11973 - 财政年份：2022
- 资助金额：
$ 3.35万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2021
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2019
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
Problem Solving with SAT Oracles
使用 SAT Oracle 解决问题
- 批准号：
19H04175 - 财政年份：2019
- 资助金额：
$ 3.35万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2018
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
The next level of SAT solving for very hard problems
SAT 的新水平解决非常困难的问题
- 批准号：
EP/S015523/1 - 财政年份：2018
- 资助金额：
$ 3.35万 - 项目类别：
Research Grant
Machine Learning Based SAT Solving Techniques
基于机器学习的 SAT 求解技术
- 批准号：
489797-2016 - 财政年份：2017
- 资助金额：
$ 3.35万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Advancing SAT solving algorithms with Applications to problems in Verification and AI
通过验证和人工智能问题的应用来推进 SAT 求解算法
- 批准号：
RGPIN-2016-05527 - 财政年份：2016
- 资助金额：
$ 3.35万 - 项目类别：
Discovery Grants Program - Individual
SAT(充足可能性)問題の並列局所探索アルゴリズムの研究と超並列計算機への実装
SAT（可满足性）问题的并行局部搜索算法研究及其在大规模并行计算机上的实现
- 批准号：
11F01807 - 财政年份：2011
- 资助金额：
$ 3.35万 - 项目类别：
Grant-in-Aid for JSPS Fellows