EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification
EPSRC-Royal Society fellowship engagement (2013): Combining Constraints and Verification
EPSRC-皇家学会奖学金参与 (2013)：结合约束和验证
批准号：
EP/M003728/1
负责人：
Christopher Jefferson
金额：
$30.3万
依托单位：
依托单位国家：
英国
项目类别：
Fellowship
财政年份：
2014
资助国家：
英国
项目状态：
已结题
起止时间：
2014 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Please refer to attached Royal Society application
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Complexity of n-Queens Completion (Extended Abstract)
n-皇后完成的复杂性（扩展摘要）
n-皇后完成的复杂性（扩展摘要）
DOI：
10.24963/ijcai.2018/794
发表时间：
2018
期刊：
影响因子：
--
作者：
[Gent I]
通讯作者：
Gent I
DOI：
10.1613/jair.5512
发表时间：
2017-01-01
期刊：
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
影响因子：
5
作者：
[Gent, Ian P., Jefferson, Christopher, Nightingale, Peter]
通讯作者：
Nightingale, Peter
DOI：
10.3233/aic-170740
发表时间：
2017
期刊：
AI Communications
影响因子：
0.8
作者：
[Caldwell J]
通讯作者：
Caldwell J
S-Crucial and Bicrucial Permutations with Respect to Squares
关于平方的 S-关键和双关键排列
关于平方的 S-关键和双关键排列
DOI：
--
发表时间：
2015
期刊：
Journal of Integer Sequences
影响因子：
0.5
作者：
[Gent I.]
通讯作者：
Gent I.
DOI：
10.1017/s1471068418000340
发表时间：
2018
期刊：
Theory and Practice of Logic Programming
影响因子：
1.4
作者：
[GENT I]
通讯作者：
GENT I
共 6 条
海外基金