可满足性问题
2018年公布的计算机科学技术名词
可满足性问题是2018年公布的计算机科学技术名词 。
定义
对任意命题逻辑公式判定是否存在一组指派使其被满足。
出处
《计算机科学技术名词 》。
参考资料
术语在线—权威的术语知识服务平台
.术语在线.
最新修订时间：2023-08-25 10:52
条目作者
小编
资深百科编辑
目录
概述
定义
出处
参考资料
Copyright©2024
闽ICP备2024072939号-1