Extended SAT solver
扩展 SAT 求解器
基本信息
- 批准号:353979-2007
- 负责人:
- 金额:$ 0.33万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:University Undergraduate Student Research Awards
- 财政年份:2007
- 资助国家:加拿大
- 起止时间:2007-01-01 至 2008-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 }}
Bregman, David其他文献
Comparative Review of the Safety and Efficacy of Ferric Carboxymaltose Versus Standard Medical Care for the Treatment of Iron Deficiency Anemia in Bariatric and Gastric Surgery Patients
- DOI:
10.1007/s11695-013-0939-6 - 发表时间:
2013-09-01 - 期刊:
- 影响因子:2.9
- 作者:
Malone, Margaret;Barish, Charles;Bregman, David - 通讯作者:
Bregman, David
Bregman, David的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
相似国自然基金
SAT1/HIF-1α调控滑膜巨噬细胞炎症及铁死亡促进颞下颌关节骨关节炎的机制研究
- 批准号:82301108
- 批准年份:2023
- 资助金额:30 万元
- 项目类别:青年科学基金项目
P-tau驱动SAT1依赖性铁死亡促糖尿病视网膜神经节细胞丧失的作用机制研究
- 批准号:82370833
- 批准年份:2023
- 资助金额:49 万元
- 项目类别:面上项目
SAT相关问题的求解算法研究
- 批准号:
- 批准年份:2022
- 资助金额:30 万元
- 项目类别:青年科学基金项目
并行SAT求解技术研究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
组蛋白伴侣FACT通过SAT1调控多胺代谢抑制胆管癌细胞铁死亡的机制探究
- 批准号:
- 批准年份:2021
- 资助金额:30 万元
- 项目类别:青年科学基金项目
相似海外基金
A fast Boolean satisfiability problem solver by shortening the proof
通过缩短证明来快速解决布尔可满足性问题
- 批准号:
17K00300 - 财政年份:2017
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
A Computational Approach to Study Ramsey Numbers
研究拉姆齐数的计算方法
- 批准号:
17K00307 - 财政年份:2017
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Scientific Research (C)
Development of a SAT Solver Based on Extened Resolution
基于扩展分辨率的 SAT 求解器的开发
- 批准号:
17K12742 - 财政年份:2017
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Young Scientists (B)
Problem Structure and SAT Solver Performance: Relating Theory and Practice
问题结构和 SAT 求解器性能:理论与实践的联系
- 批准号:
511893-2017 - 财政年份:2017
- 资助金额:
$ 0.33万 - 项目类别:
University Undergraduate Student Research Awards
An Error Diagnosis Technique Combining BDD-based Approach and SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's
结合基于 BDD 的方法和 SAT 求解器的错误诊断技术及其在增量综合中的应用,以降低 ECO 所需的成本
- 批准号:
24500064 - 财政年份:2012
- 资助金额:
$ 0.33万 - 项目类别:
Grant-in-Aid for Scientific Research (C)