刷新
{{item.name}}会员
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
基本信息
- 批准号：DGECR-2021-00210
- 负责人：
- 金额：$ 0.91万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Launch Supplement
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
No summary - Aucun sommaire
没有摘要--Aucun Sommaire
项目成果
期刊论文数量（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
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
RGPIN-2021-03089 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Satisfiablity Solving + Computer Algebra: A Powerful New Method for Combinatorial Search
可满足性求解计算机代数：一种强大的组合搜索新方法
- 批准号：
532829-2019 - 财政年份：2020
- 资助金额：
$ 0.91万 - 项目类别：
Postdoctoral Fellowships
Satisfiablity Solving + Computer Algebra: A Powerful New Method for Combinatorial Search
可满足性求解计算机代数：一种强大的组合搜索新方法
- 批准号：
532829-2019 - 财政年份：2019
- 资助金额：
$ 0.91万 - 项目类别：
Postdoctoral Fellowships
Tri perfect numbers
三完全数
- 批准号：
352834-2007 - 财政年份：2007
- 资助金额：
$ 0.91万 - 项目类别：
University Undergraduate Student Research Awards
相似海外基金
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
RGPIN-2021-03089 - 财政年份：2022
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
Satisfiability Checking and Computer Algebra: A Powerful New Search Method
可满足性检查和计算机代数：一种强大的新搜索方法
- 批准号：
RGPIN-2021-03089 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Discovery Grants Program - Individual
SHF: Small: Transforming Computer Architecture Evaluation with Statistical Model Checking
SHF：小型：通过统计模型检查转变计算机架构评估
- 批准号：
2133160 - 财政年份：2021
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
III: Small: Collaborative Research: Towards End-to-End Computer-Assisted Fact-Checking
III：小型：协作研究：走向端到端计算机辅助事实核查
- 批准号：
1719054 - 财政年份：2017
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
III: Small: Collaborative Research: Towards End-to-End Computer-Assisted Fact-Checking
III：小型：协作研究：走向端到端计算机辅助事实核查
- 批准号：
1718398 - 财政年份：2017
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
ITR: Model Checking for Detecting Computer System Vulnerabilities
ITR：用于检测计算机系统漏洞的模型检查
- 批准号：
0205376 - 财政年份：2002
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
CISE Postdoctoral Research Associateships in Experimental Computer Science - Verifying Implementations of Model Checking Algorithms
CISE 实验计算机科学博士后研究奖学金 - 验证模型检查算法的实现
- 批准号：
0072761 - 财政年份：2000
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant
Knowledge-Base Processing Model of Checking of Mechanical Design Drawings and Its Applications to Computer-Aided Drawing Check System for CAD Drawings
机械设计图样检查的知识库处理模型及其在CAD图样检查系统中的应用
- 批准号：
03831010 - 财政年份：1991
- 资助金额：
$ 0.91万 - 项目类别：
Grant-in-Aid for General Scientific Research (C)
Mechanical Theorem Proving and Development of EKL - An Interactive Proof Checking System (Computer Research)
力学定理证明与EKL开发——交互式证明检查系统（计算机研究）
- 批准号：
8206565 - 财政年份：1982
- 资助金额：
$ 0.91万 - 项目类别：
Continuing Grant
Application of Vdl Definition Techniques to the Design, Checking and Validation of Computer Hardware and Software
Vdl定义技术在计算机软硬件设计、检查和验证中的应用
- 批准号：
7418108 - 财政年份：1974
- 资助金额：
$ 0.91万 - 项目类别：
Standard Grant