课题基金 / 基金详情

Constraint Network Tractability: Beyond Structure and Language

Constraint Network Tractability: Beyond Structure and Language
约束网络的可处理性：超越结构和语言
批准号：
EP/L020394/1
负责人：
David Cohen
金额：
$10.01万
依托单位：
Royal Holloway University of London
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2014
资助国家：
英国
项目状态：
已结题
起止时间：
2014 至 --
来源：
https://gtr.ukri.org/projects?ref=EP%2FL020394%2F1
关键词：
ConstraintNetworkTractabilityBeyondStructure

项目摘要

项目成果

David Cohen的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
DOI： 10.1016/j.artint.2016.02.001
发表时间： 2016-05
期刊： Artif. Intell.
影响因子： --
作者： [Martin C. Cooper;Aymeric Duchein;Achref El Mouelhi;Guillaume Escamocher;C. Terrioux;B. Zanuttini]
通讯作者： Martin C. Cooper;Aymeric Duchein;Achref El Mouelhi;Guillaume Escamocher;C. Terrioux;B. Zanuttini
Tractable Classes of Binary CSPs Defined by Excluded Topological Minors
DOI： --
发表时间： 2015-07
期刊：
影响因子： --
作者： [D. Cohen;Martin C. Cooper;P. Jeavons;Stanislav Živný]
通讯作者： D. Cohen;Martin C. Cooper;P. Jeavons;Stanislav Živný
Binarisation via Dualisation for Valued Constraints
通过对值约束的对偶化进行二值化
DOI： --
发表时间： 2015
期刊：
影响因子： --
作者： [Cohen D.A.]
通讯作者： Cohen D.A.
Variable and value elimination in binary constraint satisfaction via forbidden patterns
DOI： 10.1016/j.jcss.2015.02.001
发表时间： 2015-02
期刊： ArXiv
影响因子： --
作者： [D. Cohen;Martin C. Cooper;Guillaume Escamocher;Stanislav Živný]
通讯作者： D. Cohen;Martin C. Cooper;Guillaume Escamocher;Stanislav Živný
共 7 条
    SBIR Phase II: Novel Blockchain File System using aBFT Consensus
    • 批准号：
      2051878
    • 项目类别：
      Cooperative Agreement
    • 资助金额：
      $100.0万
    • 财政年份：
      2021
    • 负责人：
      David Cohen
    • 依托单位：
      GRID7 LLC
    SBIR Phase I: Taekion Defense-hardened Blockchain File System using aBFT Consensus
    • 批准号：
      1940349
    • 项目类别：
      Standard Grant
    • 资助金额：
      $22.46万
    • 财政年份：
      2020
    • 负责人：
      David Cohen
    • 依托单位：
      GRID7 LLC
    PostDoctoral Research Fellowship
    • 批准号：
      1502608
    • 项目类别：
      Fellowship Award
    • 资助金额：
      $15.0万
    • 财政年份：
      2015
    • 负责人：
      David Cohen
    • 依托单位：
      Cohen David B
    The complexity of valued constraints
    • 批准号：
      EP/F011776/1
    • 项目类别：
      Research Grant
    • 资助金额：
      $23.89万
    • 财政年份：
      2008
    • 负责人：
      David Cohen
    • 依托单位：
      Royal Holloway University of London
    国内基金
    海外基金
    丝氨酸/甘氨酸/一碳代谢网络（SGOC metabolic network）调控炎症性巨噬细胞活化及脓毒症病理发生的机制研究
    • 批准号：
      81930042
    • 项目类别：
      重点项目
    • 资助金额：
      305.0万元
    • 批准年份：
      2019
    • 负责人：
      王迪
    • 依托单位：
      浙江大学
    多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用
    • 批准号：
      91418205
    • 项目类别：
      重大研究计划
    • 资助金额：
      170.0万元
    • 批准年份：
      2014
    • 负责人：
      郑庆华
    • 依托单位：
      西安交通大学
    基于Wireless Mesh Network的分布式操作系统研究
    • 批准号：
      60673142
    • 项目类别：
      面上项目
    • 资助金额：
      27.0万元
    • 批准年份：
      2006
    • 负责人：
      罗惠琼
    • 依托单位：
      电子科技大学