|
已选(0)清除
条数/页： 排序方式： |
| Empirical investigation of stochastic local search for maximum satisfiability 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98
作者: Chu, Yi; Luo, Chuan; Cai, Shaowei; You, Haihang
  收藏 | 浏览/下载：56/0 | 提交时间：2019/04/03
empirical investigation stochastic local search maximum satisfiability industrial instances additive BMS |
| 无权访问的条目 学位论文
作者: 殷越
Adobe PDF(7482Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/01/12 |
| 无权访问的条目 学位论文
作者: 殷越
Adobe PDF(7482Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2017/01/12 |
| New local search methods for partial MaxSAT 期刊论文
ARTIFICIAL INTELLIGENCE, 2016, 卷号: 240, 页码: 1-18
作者: Cai, Shaowei; Luo, Chuan; Lin, Jinkun; Su, Kaile
收藏 | 浏览/下载：43/0 | 提交时间：2019/12/13
Partial MaxSAT Local search Hard and soft score Initialization |
| 无权访问的条目 学位论文
作者: 刘振岩
Adobe PDF(4043Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/07/15 |
| 无权访问的条目 学位论文
作者: 谢开斌
Adobe PDF(3228Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/28 |
| 无权访问的条目 学位论文
作者: 王宏博
Adobe PDF(1249Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2016/06/23 |
| 无权访问的条目 学位论文
作者: 冯清青
Adobe PDF(28966Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/06/24 |
| 无权访问的条目 学位论文
作者: 郭少华
Adobe PDF(3334Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/01 |
| 无权访问的条目 学位论文
作者: 张聪
Adobe PDF(1154Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/03 |
