原名:03-fol+sat-annotated.. by Geoff Gordon 作品简介:第一个重要的 SAT 算法。 Horn 子句、MAXSAT、非单调逻辑。 9 个对象、函数表、谓词表..无调性混乱…… 资源下载VIP免费升级VIP 弥补
原名:03-fol+sat-annotated.. by Geoff Gordon 原名:03-fol+sat-annotated.. by Geoff Gordon 
