机构

• 理论物理研究所 [10]
• 软件研究所 [7]
• 计算技术研究所 [6]
• 数学与系统科学研究院 [3]
• 金属研究所 [1]
• 武汉物理与数学研究所 [1]
• 更多

采集方式

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

内容类型

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

发表日期

• 2024 [1]
• 2023 [2]
• 2020 [3]
• 2019 [1]
• 2017 [1]
• 2016 [2]
• 更多

学科主题

• Physics [10]
• Computer S... [1]

筛选

浏览/检索结果: 共32条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Efficient Quantum Circuit Synthesis for SAT-Oracle With Limited Ancillary Qubit 期刊论文  OAI收割 IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 卷号: 43, 期号: 3, 页码: 868-877 作者:  Yang, Shuai;  Zi, Wei;  Wu, Bujiao;  Guo, Cheng;  Zhang, Jialin   |  收藏  |  浏览/下载：7/0  |  提交时间：2024/12/06 Qubit  Logic gates  Boolean functions  Quantum circuit  Quantum algorithm  Circuit synthesis  Sun  limited ancillary qubit  satisfiability (SAT) problem  SAT-oracle  space-depth tradeoff   Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem 期刊论文  OAI收割 MATHEMATICS, 2023, 卷号: 11, 期号: 1, 页码: 13 作者:  Zhang, Zhidong   |  收藏  |  浏览/下载：7/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;  Hui-Ling Zhen;  Xijun Li;  Wanqian Luo;  Mingxuan Yuan   |  收藏  |  浏览/下载：3/0  |  提交时间：2024/04/23 Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization   一种布尔公式的代数逻辑约化新方法 期刊论文  OAI收割 计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32 作者:  刘江;  周鸿昊   |  收藏  |  浏览/下载：20/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 Simple and Efficient Time-Sensitive Networking Traffic Scheduling Method for Industrial Scenarios 期刊论文  OAI收割 ELECTRONICS, 2020, 卷号: 9, 期号: 12, 页码: 1-19 作者:  Li Q(李庆);  Li D(李栋);  Jin X(金曦);  Wang QZ(王其朝);  Zeng P(曾鹏)   |  收藏  |  浏览/下载：17/0  |  提交时间：2021/01/22 Time-Sensitive Networking (TSN)  Satisfiability Modulo Theories (SMT)  scheduling  802.1Qbv   云环境下网络感知的虚拟机分配问题的求解方法 期刊论文  OAI收割 吉林大学学报. 工学版, 2020, 卷号: 50, 期号: 4, 页码: 1455 作者:  吕帅;  徐玥;  张桐搏;  李广力;  池策   |  收藏  |  浏览/下载：8/0  |  提交时间：2023/12/04 computer software  virtual machine assignment  cloud computing  satisfiability  计算机软件  虚拟机分配  云计算  可满足性   Empirical investigation of stochastic local search for maximum satisfiability 期刊论文  OAI收割 FRONTIERS OF COMPUTER SCIENCE, 2019, 卷号: 13, 期号: 1, 页码: 86-98 作者:  Chu, Yi;  Luo, Chuan;  Cai, Shaowei;  You, Haihang   |  收藏  |  浏览/下载：55/0  |  提交时间：2019/04/03 empirical investigation  stochastic local search  maximum satisfiability  industrial instances  additive BMS   CCEHC: An efficient local search algorithm for weighted partial maximum satisfiability 期刊论文  OAI收割 ARTIFICIAL INTELLIGENCE, 2017, 卷号: 243, 页码: 26-44 作者:  Luo, Chuan;  Cai, Shaowei;  Su, Kaile;  Huang, Wenxuan   |  收藏  |  浏览/下载：26/0  |  提交时间：2019/12/12 Local search  Weighted partial maximum satisfiability  Emphasis on hard clauses   An Efficient Approach for Solving Optimization over Linear Arithmetic Constraints 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2016, 卷号: 31, 期号: 5, 页码: 987-1011 Chen, L; Wu, JZ; Lv, YR; Wang, YJ   |  收藏  |  浏览/下载：28/0  |  提交时间：2016/12/09 constrained optimization  Satisfiability Modulo Theories  linear programming   Deciding probabilistic automata weak bisimulation: theory and practice 期刊论文  OAI收割 FORMAL ASPECTS OF COMPUTING, 2016, 卷号: 28, 期号: 1, 页码: 109-143 Fioriti, LMF; Hashemi, V; Hermanns, H; Turrini, A   |  收藏  |  浏览/下载：27/0  |  提交时间：2016/12/09 Complexity  Compositional analysis  Concurrency  Efficiency  Linear programming  Probabilistic automata  Satisfiability modulo theories  Weak bisimulation