QQ客服 官方微博 反馈留言

浏览/检索结果: 共4条，第1-4条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Super solutions of random (3+p)-SAT 期刊论文 THEORETICAL COMPUTER SCIENCE, 2019, 卷号: 793, 页码: 14-27 作者:  Wang, Bin;  Zhou, Guangyan 收藏  |  浏览/下载：52/0  |  提交时间：2020/01/10 (1,0)-satisfiable  Super solution  Phase transition  Unit Clause   The solution space structure of random constraint satisfaction problems with growing domains 期刊论文 JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2015, 期号: 0, 页码: P12006 作者:  Xu, W;  Zhang, P;  Liu, T;  Gong, FZ 收藏  |  浏览/下载：16/0  |  提交时间：2016/11/21 disordered systems (theory)  phase transformations (theory)   Configuration checking with aspiration in local search for SAT 其他 2012-01-01 Cai, Shaowei; Su, Kaile 收藏  |  浏览/下载：4/0  |  提交时间：2015/11/17 可满足赋值算子的设计与实现 期刊论文 计算机工程与科学, 2010 王倩; 陈彩; 吕关锋; 苏开乐 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/12 BDD  一致性理论  可满足赋值算子