Joint Generation algorithm in Lisp 开源

上传：mention_4777 浏览： 10 推荐： 0 文件：GZ 大小：28.01MB 上传时间：2021-05-09 20:53:54 版权申诉

Fredman和Khachiyan联合生成算法的实现,用于计算DNF中的双对单调布尔表达式(超图横切,多面锥的极射线...)。用户可替换的oracle。

上传资源