中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共5条，第1-5条

帮助

条数/页：排序方式：
	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 \| 收藏 \| 浏览/下载：11/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
	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 \| 收藏 \| 浏览/下载：4/0 \| 提交时间：2024/04/23 Machine learning (ML), Boolean satisfiability (SAT), deep learning, graph neural networks (GNNs), combinatorial optimization
	Mapping between Spin-Glass Three-Dimensional (3D) Ising Model and Boolean Satisfiability Problem 期刊论文 OAI收割 MATHEMATICS, 2023, 卷号: 11, 期号: 1, 页码: 13 作者: Zhang, Zhidong \| 收藏 \| 浏览/下载：8/0 \| 提交时间：2023/05/09 spin-glass 3D Ising model Boolean satisfiability computational complexity topology
	一种布尔公式的代数逻辑约化新方法期刊论文 OAI收割计算机科学, 2020, 卷号: 47, 期号: 5, 页码: 32 作者: 刘江; 周鸿昊 \| 收藏 \| 浏览/下载：25/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-纯文字
	specification analysis and test data generation by solving boolean combinations of numeric constraints 会议论文 OAI收割 1st Asia-Pacific Conference on Quality Software, HONG KONG, PEOPLES R CHINA, OCT 30-31, Zhang J \| 收藏 \| 浏览/下载：17/0 \| 提交时间：2011/07/29 Boolean constraint solver Boolean logic reasoning numeric constraints requirement specifications satisfiability software test data generation Boolean algebra computability formal specification