Resolving hard constraint satisfaction problems
Resolving hard constraint satisfaction problems
批准号:
90307-2001
负责人:
Havens, William
金额:
$2.04万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2003
资助国家:
加拿大
项目状态:
已结题
起止时间:
2003-01-01 至 2004-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Semi-systematic constraint solving methods
-
批准号:90307-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2008
-
负责人:Havens, William
-
依托单位:
Semi-systematic constraint solving methods
-
批准号:90307-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2007
-
负责人:Havens, William
-
依托单位:
Semi-systematic constraint solving methods
-
批准号:90307-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2006
-
负责人:Havens, William
-
依托单位:
Semi-systematic constraint solving methods
-
批准号:90307-2005
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Havens, William
-
依托单位:
Resolving hard constraint satisfaction problems
-
批准号:90307-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Havens, William
-
依托单位:
Resolving hard constraint satisfaction problems
-
批准号:90307-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2002
-
负责人:Havens, William
-
依托单位:
Resolving hard constraint satisfaction problems
-
批准号:90307-2001
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2001
-
负责人:Havens, William
-
依托单位:
Development of a canadian/australian research collaboration in constraint programming and non-monotonic reasoning
-
批准号:245329-2001
-
项目类别:International Opportunity Fund
-
资助金额:$0.8万
-
财政年份:2001
-
负责人:Havens, William
-
依托单位:
"Freedom to choose" in solving constraint satisfaction problems
-
批准号:90307-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:2000
-
负责人:Havens, William
-
依托单位:
Freedom to choose
-
批准号:90307-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.85万
-
财政年份:1999
-
负责人:Havens, William
-
依托单位:
Heuristic techniques for mixed-initiative staff scheduling
-
批准号:216635-1998
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$2.44万
-
财政年份:1999
-
负责人:Havens, William
-
依托单位:
'Freedom to choose' in solving constraint satisfaction problems
-
批准号:90307-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.76万
-
财政年份:1998
-
负责人:Havens, William
-
依托单位:
Heuristic techniques for mixed-initiative staff scheduling
-
批准号:216635-1998
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$3.8万
-
财政年份:1998
-
负责人:Havens, William
-
依托单位:
Freedom to choose
-
批准号:90307-1997
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.6万
-
财政年份:1997
-
负责人:Havens, William
-
依托单位:
Constraint logic programming methodology for knowledge-based systems
-
批准号:90307-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1996
-
负责人:Havens, William
-
依托单位:
Constraint logic programming methodology for knowledge-based systems
-
批准号:90307-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1995
-
负责人:Havens, William
-
依托单位:
Constraint logic programming methodology for knowledge-based systems
-
批准号:90307-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1994
-
负责人:Havens, William
-
依托单位:
Constraint logic programming methodology for knowledge-based systems
-
批准号:90307-1993
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1993
-
负责人:Havens, William
-
依托单位:
Constraint-based hypothetical reasoning for synthesis, diagnosis and other recognition tasks
-
批准号:90307-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1992
-
负责人:Havens, William
-
依托单位:
Constraint-based hypothetical reasoning for synthesis, diagnosis and other recognition tasks
-
批准号:90307-1990
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.24万
-
财政年份:1991
-
负责人:Havens, William
-
依托单位:
国内基金
海外基金
登录
查看更多内容
一类不可微的NP-hard优化问题研究
-
批准号:11401357
-
项目类别:青年科学基金项目
-
资助金额:23.0万元
-
批准年份:2014
-
负责人:雍龙泉
-
依托单位:
软坚散结中药抑制肿瘤相关成纤维细胞研究
-
批准号:81173376
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2011
-
负责人:吴雄志
-
依托单位:
hARD1蛋白与p53蛋白相互作用研究
-
批准号:30960091
-
项目类别:地区科学基金项目
-
资助金额:25.0万元
-
批准年份:2009
-
负责人:谭德勇
-
依托单位:
运筹学在生物信息学若干问题上的应用
-
批准号:10471141
-
项目类别:面上项目
-
资助金额:24.0万元
-
批准年份:2004
-
负责人:章祥荪
-
依托单位: