Connections Between Proofs and Circuits with Practical Applications

证明和电路与实际应用之间的联系

基本信息

  • 批准号：
    557423-2021
  • 负责人：
    Fleming, Noah
  • 金额：
    $ 1.64万
  • 依托单位：
    University of California - San Diego
  • 依托单位国家：
    加拿大
  • 项目类别：
    Postdoctoral Fellowships
  • 财政年份：
    2021
  • 资助国家：
    加拿大
  • 起止时间：
    2021-01-01 至 2022-12-31
  • 项目状态：
    已结题

项目摘要

Complexity Theory, Proof Complexity, Theoretical Computer Science, Cutting Planes, Circuit Complexity, Monotone Circuits, Integer Programming, Perfect Matching, Lower Bounds, Hardness Escalation
复杂性理论、证明复杂性、理论计算机科学、割平面、电路复杂性、单调电路、整数规划、完美匹配、下界、硬度升级

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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
Stabbing Planes
刺击飞机
  • DOI：
    10.48550/arxiv.1710.03219
  • 发表时间：
    2022
  • 期刊：
    ArXivorg
  • 影响因子：
    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.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

{{ truncateString('Fleming, Noah', 18)}}的其他基金

Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
  • 批准号：
    504319-2017
  • 财政年份：
    2019
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
  • 批准号：
    504319-2017
  • 财政年份：
    2018
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
  • 批准号：
    504319-2017
  • 财政年份：
    2017
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
Exploring proof complexity of cutting planes extensions
探索切割平面扩展的证明复杂性
  • 批准号：
    483248-2015
  • 财政年份：
    2015
  • 资助金额：
    $ 1.64万
  • 项目类别：
    University Undergraduate Student Research Awards
Approximation Lower Bounds for the Extension Complexity of Constraint Satisfaction
约束满足的可拓复杂性的近似下界
  • 批准号：
    482051-2015
  • 财政年份：
    2015
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
Lower bounds for Cutting Planes Proofs
割平面证明的下界
  • 批准号：
    466007-2014
  • 财政年份：
    2014
  • 资助金额：
    $ 1.64万
  • 项目类别：
    University Undergraduate Student Research Awards

相似国自然基金

数智背景下的团队人力资本层级结构类型、团队协作过程与团队效能结果之间关系的研究
  • 批准号：
    72372084
  • 批准年份：
    2023
  • 资助金额：
    40 万元
  • 项目类别：
    面上项目
枯草芽孢杆菌生长与产孢之间权衡关系的定量机制研究
  • 批准号：
    32370044
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
夜间NO3自由基反应活性与臭氧污染之间相互影响机制研究
  • 批准号：
    22376030
  • 批准年份：
    2023
  • 资助金额：
    50 万元
  • 项目类别：
    面上项目
对称性与非厄米趋肤效应之间内在关联的研究
  • 批准号：
    12304201
  • 批准年份：
    2023
  • 资助金额：
    30 万元
  • 项目类别：
    青年科学基金项目

相似海外基金

Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
  • 批准号：
    2876993
  • 财政年份：
    2027
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Studentship
Translations between Type Theories
类型理论之间的翻译
  • 批准号：
    EP/Z000602/1
  • 财政年份：
    2025
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Research Grant
Thwarted Identity: The Missing Link Between Psychopathology and Prejudice
受挫的身份：精神病理学与偏见之间缺失的联系
  • 批准号：
    DP240100108
  • 财政年份：
    2024
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Discovery Projects
A Cultural Plutocracy? Transnational families and the consumption of luxury goods in Britain and in France between 1870 and 1930
文化富豪统治？
  • 批准号：
    2882198
  • 财政年份：
    2024
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Studentship
A MISSING LINK between continental shelves and the deep sea: Addressing the overlooked role of land-detached submarine canyons
大陆架和深海之间缺失的联系：解决与陆地无关的海底峡谷被忽视的作用
  • 批准号：
    NE/X014975/1
  • 财政年份：
    2024
  • 资助金额：
    $ 1.64万
  • 项目类别：
    Research Grant
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了