机构

• 理论物理研究所 [8]
• 软件研究所 [4]
• 金属研究所 [1]
• 数学与系统科学研究院 [1]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [13]
• 会议论文 [1]

发表日期

• 2023 [1]
• 2019 [1]
• 2016 [1]
• 2014 [3]
• 2013 [2]
• 2012 [1]
• 更多

学科主题

• Physics [8]

筛选

浏览/检索结果: 共14条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem 期刊论文  OAI收割 MATHEMATICS, 2023, 卷号: 11, 期号: 1, 页码: 13 作者:  Zhang, Zhidong   |  收藏  |  浏览/下载：3/0  |  提交时间：2023/05/09 spin-glass 3D Ising model  Boolean satisfiability  computational complexity  topology   Super solutions of random (3+p)-SAT 期刊论文  OAI收割 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   A Model for Phase Transition of Random Answer-Set Programs 期刊论文  OAI收割 ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2016, 卷号: 17, 期号: 3 Wen, L; Wang, KW; Shen, YD; Lin, FZ   |  收藏  |  浏览/下载：12/0  |  提交时间：2016/12/09 Answer sets  random logic programs  phase transition   Tailoring local search for partial MaxSAT 会议论文  OAI收割 28th AAAI Conference on Artificial Intelligence, AAAI 2014, 26th Innovative Applications of Artificial Intelligence Conference, IAAI 2014 and the 5th Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, Quebec City, QC, Canada, July 27, 2014 - July 31, 2014 Cai, Shaowei (1); Luo, Chuan (3); Thornton, John (4); Su, Kaile (4)   |  收藏  |  浏览/下载：29/0  |  提交时间：2014/12/16 Scoring functions based on second level score for κ-SAT with long clauses 期刊论文  OAI收割 Journal of Artificial Intelligence Research, 2014, 卷号: 51, 页码: 413-441 Cai, Shaowei (1); Luo, Chuan (3); Su, Kaile (4)   |  收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16 More efficient two-mode stochastic local search for random 3-satisfiability 期刊论文  OAI收割 Applied Intelligence, 2014, 卷号: 41, 期号: 3, 页码: 665-680 Luo, Chuan (1); Su, Kaile (2); Cai, Shaowei (3)   |  收藏  |  浏览/下载：18/0  |  提交时间：2014/12/16 Local search  Satisfiability  Linear combination  Greedy  Diversification  Property   Solution Space Coupling in the Random K-Satisfiability Problem 期刊论文  OAI收割 COMMUNICATIONS IN THEORETICAL PHYSICS, 2013, 卷号: 60, 期号: 3, 页码: 363-374 作者:  Zhou, HJ 收藏  |  浏览/下载：19/0  |  提交时间：2014/04/25 CONSTRAINT SATISFACTION PROBLEMS  GLASS-TRANSITION  ENTROPY   Witness of unsatisfiability for a random 3-satisfiability formula 期刊论文  OAI收割 PHYSICAL REVIEW E, 2013, 卷号: 87, 期号: 5, 页码: 52807 作者:  Zhou, HJ 收藏  |  浏览/下载：14/0  |  提交时间：2014/04/25 CONSTRAINT SATISFACTION PROBLEMS  RANDOM K-SAT  SATISFIABILITY PROBLEMS  CAVITY METHOD   Counting solutions from finite samplings 期刊论文  OAI收割 PHYSICAL REVIEW E, 2012, 卷号: 85, 期号: 2, 页码: 26118 作者:  Zhou, HJ 收藏  |  浏览/下载：18/0  |  提交时间：2014/04/25 NEURAL POPULATION  CORTICAL NETWORKS  ENTROPY  COUPLINGS  STATES   Glassy behavior and jamming of a random walk process for sequentially satisfying a constraint satisfaction formula 期刊论文  OAI收割 EUROPEAN PHYSICAL JOURNAL B, 2010, 卷号: 73, 期号: 4, 页码: 617-624 作者:  Zhou, Haijun   |  收藏  |  浏览/下载：12/0  |  提交时间：2012/08/02 Random Satisfiability Problems  K-sat  Algorithm  Phase