基于扩展规则的SAT问题不完备求解方法研究

61763003
2017
F0601.人工智能基础
王金艳
地区科学基金项目
教授
广西师范大学
39万元
归结原理;扩展规则;自动推理;命题可满足性问题
2018-01-01到2021-12-31
  • 中英文摘要
  • 结题摘要
  • 结题报告
  • 项目成果
  • 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
重置
序号 标题 类型 作者
1 基于MACR和CAL启发式的求差知识编译算法 期刊论文 牛当当;吕帅;王金艳;刘斌
2 一种面向知识编译的OBDD构造方法 期刊论文 王金艳;胡春;高健
3 基于扩展规则的布尔可满足性问题的求解方法 专利 王金艳;胡春;李先贤
4 基于MOVR启发式的求差知识编译算法 期刊论文 牛当当;吕帅;王金艳
5 基于相邻子句规约的求差知识编译算法 期刊论文 牛当当;吕帅;王金艳
6 Two privacy-preserving approaches for data publishing with identity reservation 期刊论文 JinYan Wang;Kai Du;XianXian Li
7 A Three-phase Approach to Differentially Private Crucial Patterns Mining over Data Streams 期刊论文 Jinyan Wang;Chen Liu;Xingcheng Fu;Xudong Luo;Xianxian Li
8 Solving quantified constraint satisfaction problems with value selection rules 期刊论文 Jian Gao;Jinyan Wang;Kuixian Wu;Rong Chen
9 一种改进图数据拓扑结构提升图神经网络性能的方法 专利 王金艳;韦全敏;胡俊;李先贤
10 SSGD: A Safe and Efficient Method of Gradient Descent 期刊论文 Jinhuan Duan;Xianxian Li;Shiqi Gao;Zili Zhong;Jinyan Wang
11 Differential Privacy Preservation in Interpretable Feedforward-Designed Convolutional Neural Networks 会议论文 De Li;Jinyan Wang;Zhou Tan;Xianxian Li;Yuhang Hu
12 A Multi-Level Privacy-Preserving Approach to Hierarchical Data Based on Fuzzy Set Theory 期刊论文 Jinyan Wang;Guoqing Cai;Chen Liu;Jingli Wu;Xianxian Li
13 基于IAPS的扩展规则局部搜索算法 期刊论文 王金艳;胡春;牛当当;李先贤
14 基于图神经网络的扩展规则随机求解方法 专利 王金艳;黎启宇;胡春
15 Differentially private ensemble learning for classification 期刊论文 Xianxian Li;Jing Liu;Songfeng Liu;Jinyan Wang
16 层次数据发布中的分级隐私保护方法 专利 王金艳;蔡国庆;李先贤
查看更多信息请先登录或注册

相关项目

趋势报告

经验分享