可满足性

可满足性(satisfiability)是1993年公布的数学名词。

资源总数
500

可满足性 热门资料

查看全部 500 份 →

128Mb以上的串行闪存被认为是电子产品满足市场需求、增加更多功能的一个主要障碍,针对需要128Mb以上串行闪存的应用要求,美光科技 (Micron Technology)推出一个简单的独一无二的扩容解决方案。这个解决方案可以把存储容量轻松...

2013-12-20 149 可满足性

书管理系统需要满足来自三方面的需求,这三个方面分别是图书借阅者、图书馆工作人员和图书馆管理人员。图书借阅者的需求是查询图书馆所存的图书、个人借阅情况及个人信息的修改;图书馆工作人员对图书借阅者的借阅及还书要求进行操作,同时形成借书或还书报表...

2016-07-22 52 可满足性