Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
基本信息
- 批准号：504319-2017
- 负责人：
- 金额：$ 2.55万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
- 财政年份：2018
- 资助国家：加拿大
- 起止时间：2018-01-01 至 2019-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
computational complexity theory, theoretical computer science, propositional proof complexity, lower bounds, cutting planes, tseitin contradictions
计算复杂性理论、理论计算机科学、命题证明复杂性、下界、割平面、tseitin 矛盾
项目成果
期刊论文数量（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 }}
Fleming, Noah其他文献
Semialgebraic Proofs and Efficient Algorithm Design
- DOI：
10.1561/0400000086 - 发表时间：
2019-01-01 - 期刊：
- 影响因子：0
- 作者：
Fleming, Noah;Kothari, Pravesh;Pitassi, Toniann - 通讯作者：
Pitassi, Toniann
Stabbing Planes
刺击飞机
- DOI：
10.48550/arxiv.1710.03219 - 发表时间：
2022 - 期刊：
- 影响因子：0
- 作者：
Beame, Paul;Fleming, Noah;Impagliazzo, Russell;Pankratov, Denis;Pitassi, Toniann;Robere, Robert - 通讯作者：
Robere, Robert
Fleming, Noah的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Fleming, Noah', 18)}}的其他基金
Connections Between Proofs and Circuits with Practical Applications
证明和电路与实际应用之间的联系
- 批准号：
557423-2021 - 财政年份：2021
- 资助金额：
$ 2.55万 - 项目类别：
Postdoctoral Fellowships
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
- 批准号：
504319-2017 - 财政年份：2019
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
- 批准号：
504319-2017 - 财政年份：2017
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Exploring proof complexity of cutting planes extensions
探索切割平面扩展的证明复杂性
- 批准号：
483248-2015 - 财政年份：2015
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
Approximation Lower Bounds for the Extension Complexity of Constraint Satisfaction
约束满足的可拓复杂性的近似下界
- 批准号：
482051-2015 - 财政年份：2015
- 资助金额：
$ 2.55万 - 项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Master's
Lower bounds for Cutting Planes Proofs
割平面证明的下界
- 批准号：
466007-2014 - 财政年份：2014
- 资助金额：
$ 2.55万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
PLAAT3降低介导线粒体降解异常在年龄相关性白内障发病中的作用及机制
- 批准号：82301190
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
R. intestinalis通过抑制METTL3对SLC2A9的m6A修饰降低肠道尿酸吸收改善炎症性肠病
- 批准号：82300636
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
BrAGP30基因降低大白菜镉吸收的功能及调控机制
- 批准号：32372706
- 批准年份：2023
- 资助金额：50 万元
- 项目类别：面上项目
探索提高受体相荧光量子效率，降低器件非辐射能量损失的新型三元有机光伏体系构筑策略
- 批准号：22309098
- 批准年份：2023
- 资助金额：30 万元
- 项目类别：青年科学基金项目
糖尿病脂肪组织中SIRT3表达降低进而上调外泌体miR-146b-5p促进肾小管脂毒性的机制研究
- 批准号：82370731
- 批准年份：2023
- 资助金额：49 万元
- 项目类别：面上项目
相似海外基金
CAREER: Lower Bounds for Shallow Circuits
职业生涯：浅层电路的下限
- 批准号：
2338730 - 财政年份：2024
- 资助金额：
$ 2.55万 - 项目类别：
Continuing Grant
Complexity Lower Bounds from Expansion
扩展带来的复杂性下限
- 批准号：
23K16837 - 财政年份：2023
- 资助金额：
$ 2.55万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Branching Program Lower Bounds
分支程序下界
- 批准号：
RGPIN-2019-06288 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Lower bounds, meta-algorithms, and pseudorandomness
下界、元算法和伪随机性
- 批准号：
RGPIN-2019-05543 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Discovery Grants Program - Individual
Bringing upper and lower bounds closer in computational geometry
使计算几何中的上限和下限更加接近
- 批准号：
567959-2022 - 财政年份：2022
- 资助金额：
$ 2.55万 - 项目类别：
Postgraduate Scholarships - Doctoral