机构

• 软件研究所 [8]
• 计算技术研究所 [2]
• 金属研究所 [1]
• 中国科学院大学 [1]
• 自动化研究所 [1]
• 重庆绿色智能技术研究... [1]
• 更多

采集方式

• OAI收割 [13]
• iSwitch采集 [1]

内容类型

• 期刊论文 [10]
• 会议论文 [4]

发表日期

• 2023 [2]
• 2020 [1]
• 2016 [1]
• 2014 [2]
• 2012 [1]
• 2010 [1]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共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   Machine Learning Methods in Solving the Boolean Satisfiability Problem 期刊论文  OAI收割 Machine Intelligence Research, 2023, 卷号: 20, 期号: 5, 页码: 640-655 作者:  Wenxuan Guo   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/09/25 Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization   一种布尔公式的代数逻辑约化新方法 期刊论文  OAI收割 计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32 作者:  刘江;  周鸿昊   |  收藏  |  浏览/下载：11/0  |  提交时间：2020/08/24 NP complete problem  Boolean satisfiability problem  1-in-3-SAT  XCNF  X pure literal  NP完全问题  布尔可满足性问题  1-in-3-SAT  XCNF  X-纯文字   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   Double configuration checking in stochastic local search for satisfiability 会议论文  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 Luo, Chuan (1); Cai, Shaowei (2); Wu, Wei (1); Su, Kaile (1)   |  收藏  |  浏览/下载：19/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   faulty interaction identification via constraint solving and optimization 会议论文  OAI收割 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, Trento, Italy, June 17, 2012 - June 20, 2012 Zhang Jian; Ma Feifei; Zhang Zhiqiang   |  收藏  |  浏览/下载：13/0  |  提交时间：2013/09/22 Formal logic  Optimization   基于Yices对时间自动机的有界模型检测 期刊论文  OAI收割 计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129 王晓亮 收藏  |  浏览/下载：27/0  |  提交时间：2011/05/23 有界模型检测  时间自动机  SMT工具  可达性  安全性  逻辑公式bounded model checking  timed automata  SMT tools  reaehability  safety  logic formula   volume computation for boolean combination of linear arithmetic constraints 会议论文  OAI收割 22nd International Conference on Automated Deduction (CADE-22), Montreal, CANADA, AUG 02-07, Ma Feifei; Liu Sheng; Zhang Jian   |  收藏  |  浏览/下载：16/0  |  提交时间：2011/03/20 Automation  Boolean functions  Formal logic  Learning algorithms  Topology   Formal verification techniques based on boolean satisfiability problem 期刊论文  iSwitch采集 Journal of computer science and technology, 2005, 卷号: 20, 期号: 1, 页码: 38-47 作者:  Li, XW;  Li, GH;  Shao, M 收藏  |  浏览/下载：15/0  |  提交时间：2019/05/10 Equivalence checking  Incremental satisfiability  Minimal unsatisfiable formula  Model checking