|
已选(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(2262Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2018/06/22 |
| CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文
ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44
作者: Luo, Chuan; Cai, Shaowei; Su, Kaile; Huang, Wenxuan
收藏 | 浏览/下载：36/0 | 提交时间：2019/12/12
Local search Weighted partial maximum satisfiability Emphasis on hard clauses |
| 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(4772Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/08 |
| 无权访问的条目 学位论文
作者: 田东平
Adobe PDF(2906Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/12/19 |
| 无权访问的条目 学位论文
作者: 许达文
Adobe PDF(2612Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2013/07/19 |
| 无权访问的条目 学位论文
作者: 孙君意
Adobe PDF(3819Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2012/05/11 |
| 无权访问的条目 学位论文
作者: 韩旭
Adobe PDF(2071Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/06/27 |
| 无权访问的条目 学位论文
作者: 陈博文
Adobe PDF(2566Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2011/06/07 |
