请输入您要查询的字词:
单词
可满足性算法
释义
可满足性算法
Encyclopedia
理学
组合算法
释
satisfiability algorithm
可满足性算法
可满足性算法是求解命题逻辑公式可满足性问题的算法。
随便看
棘皮动物苗种繁育
棘皮动物门
棘石螈
棘突
棘细胞层
棘肌
棘胸蛙
棘豆属有毒植物
棘豆属植物中毒
棘轮
棘轮效应
棘轮机构
棘辐肛参
棘间肌
棘间韧带损伤
棘阿米巴
棘颚口线虫
棘鱼类
棘龙虾
棚内布景
棚宿区应急设施
棚户区
棚架栽培
棚桥源太郎
棚民
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/12/26 1:11:22