刷新
{{item.name}}会员
Satisfiablity Solving + Computer Algebra: A Powerful New Method for Combinatorial Search
可满足性求解计算机代数：一种强大的组合搜索新方法
基本信息
- 批准号：532829-2019
- 负责人：
- 金额：$ 1.64万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postdoctoral Fellowships
- 财政年份：2020
- 资助国家：加拿大
- 起止时间：2020-01-01 至 2021-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
satisfiability solving, computer algebra, symbolic computation, combinatorial search
可满足性求解，计算机代数，符号计算，组合搜索
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Bright, Curtis其他文献
Complex Golay pairs up to length 28: A search via computer algebra and programmatic SAT
- DOI：
10.1016/j.jsc.2019.10.013 - 发表时间：
2021-01-01 - 期刊：
- 影响因子：0.7
- 作者：
Bright, Curtis;Kotsireas, Ilias;Ganesh, Vijay - 通讯作者：
Ganesh, Vijay
The SAT plus CAS method for combinatorial search with applications to best matrices
- DOI：
10.1007/s10472-019-09681-3 - 发表时间：
2019-12-05 - 期刊：
- 影响因子：1.2
- 作者：
Bright, Curtis;Dokovic, Dragomir Z.;Ganesh, Vijay - 通讯作者：
Ganesh, Vijay
A nonexistence certificate for projective planes of order ten with weight 15 codewords
- DOI：
10.1007/s00200-020-00426-y - 发表时间：
2020-04-15 - 期刊：
- 影响因子：0.7
- 作者：
Bright, Curtis;Cheung, Kevin;Ganesh, Vijay - 通讯作者：
Ganesh, Vijay
Applying computer algebra systems with SAT solvers to the Williamson conjecture
- DOI：
10.1016/j.jsc.2019.07.024 - 发表时间：
2020-09-01 - 期刊：
- 影响因子：0.7
- 作者：
Bright, Curtis;Kotsireas, Ilias;Ganesh, Vijay - 通讯作者：
Ganesh, Vijay
Bright, Curtis的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Bright, Curtis', 18)}}的其他基金
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
RGPIN-2021-03089 - 财政年份：2022
- 资助金额：
$ 1.64万 - 项目类别：
Discovery Grants Program - Individual
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
RGPIN-2021-03089 - 财政年份：2021
- 资助金额：
$ 1.64万 - 项目类别：
Discovery Grants Program - Individual
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
DGECR-2021-00210 - 财政年份：2021
- 资助金额：
$ 1.64万 - 项目类别：
Discovery Launch Supplement
Satisfiablity Solving + Computer Algebra: A Powerful New Method for Combinatorial Search
可满足性求解计算机代数：一种强大的组合搜索新方法
- 批准号：
532829-2019 - 财政年份：2019
- 资助金额：
$ 1.64万 - 项目类别：
Postdoctoral Fellowships
Tri perfect numbers
三完全数
- 批准号：
352834-2007 - 财政年份：2007
- 资助金额：
$ 1.64万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
REU Site: Solving Societal Grand Challenges with Electrical and Computer Engineering
REU 网站：通过电气和计算机工程解决社会重大挑战
- 批准号：
2150088 - 财政年份：2022
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
Collaborative Research: Developing and Evaluating Assessments of Problem-Solving in Computer Adaptive Testing Environments
协作研究：在计算机自适应测试环境中开发和评估解决问题的评估
- 批准号：
2100988 - 财政年份：2021
- 资助金额：
$ 1.64万 - 项目类别：
Continuing Grant
Collaborative Research: Developing and Evaluating Assessments of Problem-Solving in Computer Adaptive Testing Environments
协作研究：在计算机自适应测试环境中开发和评估解决问题的评估
- 批准号：
2101026 - 财政年份：2021
- 资助金额：
$ 1.64万 - 项目类别：
Continuing Grant
Solving non-linear PDEs on a quantum computer
在量子计算机上求解非线性偏微分方程
- 批准号：
2285078 - 财政年份：2019
- 资助金额：
$ 1.64万 - 项目类别：
Studentship
Satisfiablity Solving + Computer Algebra: A Powerful New Method for Combinatorial Search
可满足性求解计算机代数：一种强大的组合搜索新方法
- 批准号：
532829-2019 - 财政年份：2019
- 资助金额：
$ 1.64万 - 项目类别：
Postdoctoral Fellowships
Collaborative Research: Retaining and Engaging Computer Science majors By Solving and Visualizing Algorithmic Problems on Real-world Data Sets
协作研究：通过解决和可视化现实世界数据集上的算法问题来留住和吸引计算机科学专业的学生
- 批准号：
1726148 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
The cognitive and neural mechanisms of computer programming in young children: storytelling or solving puzzles?
幼儿计算机编程的认知和神经机制：讲故事还是解决难题？
- 批准号：
1744802 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
Collaborative Research: Retaining and Engaging Computer Science majors By Solving and Visualizing Algorithmic Problems on Real-world Data Sets
协作研究：通过解决和可视化现实世界数据集上的算法问题来留住和吸引计算机科学专业的学生
- 批准号：
1726809 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
The cognitive and neural mechanisms of computer programming in young children: storytelling or solving puzzles?
幼儿计算机编程的认知和神经机制：讲故事还是解决难题？
- 批准号：
1744809 - 财政年份：2017
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant
Improving Student Computer Programming Understanding and Engagement through Computer-Monitored Problem-Solving Discussions
通过计算机监控的问题解决讨论提高学生对计算机编程的理解和参与度
- 批准号：
1504918 - 财政年份：2015
- 资助金额：
$ 1.64万 - 项目类别：
Standard Grant