lofthus meaning in English
洛夫特胡斯
洛夫特斯
Examples
- Eurocrypt 93 , lofthus , norway : springer - verlag , lncs 765 , 1993 , pp . 240 - 247 . 9 p van oorschot . extending cryptographic logics of belief to key agreement
并且我们发现,其逻辑计算,可以直接转成可满足性问题sat进行处理,从而可以利用工业上高效的sat求解器来计算