课题基金 / 基金详情

Combinatorial Lower Bounds for Cutting Planes Proofs

Combinatorial Lower Bounds for Cutting Planes Proofs
割平面证明的组合下界
批准号：
504319-2017
负责人：
Fleming, Noah
金额：
$2.55万
依托单位：
University of Toronto
依托单位国家：
加拿大
项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=619998
关键词：
CombinatorialLowerBoundsCuttingPlanes

项目摘要

项目成果

Fleming, Noah的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Connections Between Proofs and Circuits with Practical Applications
  • 批准号：
    557423-2021
  • 项目类别：
    Postdoctoral Fellowships
  • 资助金额：
    $1.64万
  • 财政年份：
    2021
  • 负责人：
    Fleming, Noah
  • 依托单位：
    University of California - San Diego
Combinatorial Lower Bounds for Cutting Planes Proofs
  • 批准号：
    504319-2017
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
  • 资助金额：
    $2.55万
  • 财政年份：
    2019
  • 负责人：
    Fleming, Noah
  • 依托单位：
    University of Toronto
Combinatorial Lower Bounds for Cutting Planes Proofs
  • 批准号：
    504319-2017
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Doctoral
  • 资助金额：
    $2.55万
  • 财政年份：
    2018
  • 负责人：
    Fleming, Noah
  • 依托单位：
    University of Toronto
Exploring proof complexity of cutting planes extensions
  • 批准号：
    483248-2015
  • 项目类别：
    University Undergraduate Student Research Awards
  • 资助金额：
    $0.33万
  • 财政年份：
    2015
  • 负责人：
    Fleming, Noah
  • 依托单位：
    Memorial University of Newfoundland
海外基金