可满足性

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

资源总数
500

可满足性 热门资料

查看全部 500 份 →

 CCD 光电测径仪是基于光电检测技术、非接触检测的一种高速棒、线材专用测径仪。 具有检测精度高、响应速度快、抗干扰性好、可靠性高等特点,能够满足高速线材成产现场条件的使用要求。

2013-12-17 164 可满足性