面向大规模可满足性问题的求解方法研究
项目介绍
AI项目解读
基本信息
- 批准号:
- 项目类别:青年科学基金项目
- 资助金额:30万
- 负责人:
- 依托单位:
- 学科分类:
- 结题年份:
- 批准年份:2022
- 项目状态:未结题
- 起止时间:2022至
- 项目参与者:常文静;
- 关键词:
项目摘要
结项摘要
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--"}}
- 发表时间:{{ item.publish_year || "--" }}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--"}}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:{{ item.authors }}
数据更新时间:{{ patent.updateTime }}
其他文献
组织蛋白酶D在肺腺癌发生发展中的表达特点及其意义
- DOI:--
- 发表时间:--
- 期刊:解剖学报
- 影响因子:--
- 作者:张慧娟;郑晓伟;乔玲;常文静;卢锋;贾彩云
- 通讯作者:贾彩云
一类带乘性噪声2-D奇异系统的滤波算法
- DOI:--
- 发表时间:2014
- 期刊:中国海洋大学学报(自然科学版)
- 影响因子:--
- 作者:褚东升;常文静;张玲
- 通讯作者:张玲
多元协同演绎在一阶逻辑ATP中的应用
- DOI:--
- 发表时间:2020
- 期刊:西南交通大学学报
- 影响因子:--
- 作者:曹锋;徐扬;陈树伟;吴贯锋;常文静
- 通讯作者:常文静
基于频次的SAT问题学习子句混合评估算法
- DOI:--
- 发表时间:2019
- 期刊:计算机工程与科学
- 影响因子:--
- 作者:吴贯锋;徐扬;陈青山;何星星;常文静
- 通讯作者:常文静
一种基于识别重复路径的动态决策策略
- DOI:--
- 发表时间:2019
- 期刊:计算机学报
- 影响因子:--
- 作者:常文静;徐扬
- 通讯作者:徐扬
其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:{{ item.doi || "--" }}
- 发表时间:{{ item.publish_year || "--"}}
- 期刊:{{ item.journal_name }}
- 影响因子:{{ item.factor || "--" }}
- 作者:{{ item.authors }}
- 通讯作者:{{ item.author }}
内容获取失败,请点击重试
查看分析示例
此项目为未结题,我已根据课题信息分析并撰写以下内容,帮您拓宽课题思路:
AI项目摘要
AI项目思路
AI技术路线图
请为本次AI项目解读的内容对您的实用性打分
非常不实用
非常实用
1
2
3
4
5
6
7
8
9
10
您认为此功能如何分析更能满足您的需求,请填写您的反馈:
相似国自然基金
{{ item.name }}
- 批准号:{{ item.ratify_no }}
- 批准年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}
相似海外基金
{{
item.name }}
{{ item.translate_name }}
- 批准号:{{ item.ratify_no }}
- 财政年份:{{ item.approval_year }}
- 资助金额:{{ item.support_num }}
- 项目类别:{{ item.project_type }}