【61262006】带正则结构的命题公式的可满足性问题研究国家自然基金项目

带正则结构的命题公式的可满足性问题研究

项目批准号： 61262006

批准年份： 2012

学科分类： F0201.计算机科学的基础理论

项目负责人：许道云

资助类别：地区科学基金项目

负责人职称：教授

依托单位：贵州大学

资助金额： 46万元

关键词：正则结构;命题公式;复杂性分析;算法设计;可满足性问题

起止时间： 2013-01-01到2016-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	有限等待置换流水车间调度问题的IGA算法	期刊论文	任魏翔\|秦永彬\|许道云\|
2	Constructions of Finite Groups	会议论文	Qin Yongbin\|Zhang Haiyue\|Xu Daoyun\|
3	带非线性优先连接规则增长模型的节点度分布	期刊论文	卢友军\|许道云\|周锦程\|
4	求解多处理机调度问题的近似算法	期刊论文	曹杰先\|秦永彬\|许道云\|
5	随机正则(k, r)-SAT 问题的可满足临界	期刊论文	周锦程\|许道云\|卢友军\|
6	结合seeds集和LDA的半监督文本聚类算法	期刊论文	周萍\|秦永彬\|黄瑞章\|
7	大数据计算的基础理论探究	期刊论文	许道云\|
8	正则3–SAT问题的相变现象	期刊论文	张明明\|许道云\|
9	基于因子图求解(3,4=)-CNF公式类下可满足问题	期刊论文	聂国霞\|秦永彬\|许道云\|
10	随机图G(n,p)中k-团的相变性质	期刊论文	卢友军\|许道云\|
11	On-Line Load Balancing with Task Buffer	期刊论文	Jiayin Wei\|Daoyun Xu\|Yongbin Qin\|Ruizhang Huang\|
12	基于图分解的（3，4）-CNF公式的可满足性	期刊论文	张海月\|秦永彬\|聂国霞\|
13	基于WCF和N Hibernate的软件架构研究及应用	期刊论文	孙志中\|魏嘉银\|秦永彬\|
14	A Heuristic Algorithm for Solving the Problem of Load Balancing	会议论文	Jiayin Wei\|Daoyun Xu\|Yongbin Qin\|Jincheng Zhou\|
15	UPPER BOUND ON THE SATISFIABILITY THRESHOLD OF REGULAR RANDOM (k; s)-SAT PROBLEM	期刊论文	Jincheng Zhou\|Daoyun Xu\|
16	基于模型检测技术的语义Web服务自动组合	期刊论文	唐郑熠\|许道云\|王晓峰\|王正才\|
17	严格随机正则(3, s)-SAT 模型及其相变现象	期刊论文	周锦程\|许道云\|卢友军\|代寸宽\|
18	A Lower Bound on Max-SAT for Regular (3,4)-CNF	期刊论文	Cunkuan Dai\|Daoyun Xu\|
19	警示传播算法收敛的一个充分条件	期刊论文	王晓峰\|许道云\|
20	随机图G(2n,p)中k-匹配的相变性质	期刊论文	林妤\|许道云\|
21	算法机制设计的数学基础	期刊论文	许道云\|
22	命题作为博弈的求真表示	期刊论文	许道云\|
23	资源均匀占有的算法设计	期刊论文	梁贵波\|许道云\|
24	RB 模型实例集上置信传播算法的收敛性	期刊论文	王晓峰\|许道云\|
25	基于三次B样条插值曲面的图像放大方法	期刊论文	孙志中\|王磊\|桑伟泉\|
26	求解FFS问题的混合搜索机制粒子群算法	期刊论文	张海月\|许道云\|秦永彬\|
27	可求和布尔函数的性质	期刊论文	曾利全\|许道云\|
28	带资源属性的负载均衡问题的算法设计	期刊论文	周兵洋\|许道云\|
29	结合置信度和SVD的协同过滤算法	期刊论文	张超\|秦永彬\|黄瑞章\|
30	On the Satisability Threshold of Regular (k; s)-SAT	期刊论文	Jincheng Zhou\|Daoyun Xu\|Youjun Lu\|
31	一个正则NP-完全问题及其不可近似性	期刊论文	许道云\|王晓峰\|
32	基于双信任机制的 TrustSVD 算法	期刊论文	田尧\|秦永彬\|许道云\|张丽\|
33	基于余弦相似性的m-类分类器设计与算法实现	期刊论文	刘英伟\|秦永彬\|
34	基于卷积的安全双方计算问题	期刊论文	唐瑜穗\|许道云\|
35	一种求解置换Flow Shop调度问题的DRPFSP算法	期刊论文	魏嘉银\|秦永彬\|许道云\|
36	有限随机系统的极限性质	期刊论文	王芳\|秦永彬\|许道云\|
37	A Method Constructing Orthogonal Latin Squares Based on Complete Y-Matrixes	会议论文	Qin Yongbin\|Li Jie\|Xu Daoyun\|

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享