1. 首页
  2. 数据库
  3. 其它
  4. Joint Generation algorithm in Lisp 开源

Joint Generation algorithm in Lisp 开源

上传者: 2021-05-09 20:53:54上传 GZ文件 28.01MB 热度 12次
Fredman和Khachiyan联合生成算法的实现,用于计算DNF中的双对单调布尔表达式(超图横切,多面锥的极射线...)。 用户可替换的oracle。
下载地址
用户评论