课题基金 / 基金详情

Binary absorption optimization for boolean satisfiability problems

Binary absorption optimization for boolean satisfiability problems
布尔可满足性问题的二元吸收优化
批准号：
347136-2007
负责人：
Pound, Jeffrey
金额：
$1.26万
依托单位：
University of Waterloo
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Master's
财政年份：
2007
资助国家：
加拿大
项目状态：
已结题
起止时间：
2007-01-01 至 2008-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=372055
关键词：
Binaryabsorptionoptimizationbooleansatisfiability

项目摘要

项目成果

Pound, Jeffrey的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
On supporting descriptive queries for semantic data sets
  • 批准号：
    363102-2008
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2010
  • 负责人：
    Pound, Jeffrey
  • 依托单位：
    University of Waterloo
On supporting descriptive queries for semantic data sets
  • 批准号：
    363102-2008
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2009
  • 负责人：
    Pound, Jeffrey
  • 依托单位：
    University of Waterloo
On supporting descriptive queries for semantic data sets
  • 批准号：
    363102-2008
  • 项目类别：
    Postgraduate Scholarships - Doctoral
  • 资助金额：
    $1.53万
  • 财政年份：
    2008
  • 负责人：
    Pound, Jeffrey
  • 依托单位：
    University of Waterloo
国内基金
海外基金
西方饮食通过“肠道菌群-Rspo1”轴促进肥胖与肠道吸收的机制研究
  • 批准号：
    82370845
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    洪洁
  • 依托单位：
    上海交通大学
用于非富勒烯聚合物太阳能电池的苯并三氮唑类二维共轭聚合物
  • 批准号：
    51673200
  • 项目类别：
    面上项目
  • 资助金额：
    65.0万元
  • 批准年份：
    2016
  • 负责人：
    张志国
  • 依托单位：
    北京化工大学
纳米流体强化氨水鼓泡吸收性能的机理研究
  • 批准号：
    50606027
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    27.0万元
  • 批准年份：
    2006
  • 负责人：
    武卫东
  • 依托单位：
    上海理工大学
农业环境土壤地球化学的遥感机理研究