可满足性

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

资源总数
500

可满足性 热门资料

查看全部 500 份 →

MIDAS为开发多层分布式应用系统提供的一个中间透明引擎,能有效地利用DCOM、TCP/IP等技术在Internet/Intranet上建立结构为“ 瘦客户端+应用程序服务器+数据库系统”的多层分布式应用程序,在此结构下可利用对象代理实现分...

2013-11-16 109 可满足性