莱布尼兹

莱布尼兹系统是一个用于开发和实现基于逻辑的智能系统的软件包。该软件包涵盖了此类系统构建的各个方面,模块包括:-逻辑计算-从数据学习逻辑公式-数据离散化-从数据中发现子组-懒惰学习者的数据估计-模型降维-图和矩阵分解-约束优化解决涉及单目标或多目标函数的问题。所有程序都是用C语言编写的,使用的是ANSI标准。安装是在Linux/Unix下进行的。使用其他操作系统进行安装应该不难,但手册中没有介绍。


zbMATH中的参考文献(参考文献第三十五条,2标准条款)

显示第1到第20个结果,共35个。
按年份排序(引用)
  1. 古尔贾尔,罗希特;托马斯·蒂埃劳夫;Vishnoi,Nisheeth K.:通过晶格隔离顶点:具有全幺模面的多面体(2021)
  2. 古尔贾尔,罗希特;Vishnoi,Nisheeth K.:关于正则拟阵的回路数(带到格和码的连接)(2021)
  3. 博契亚,毛里齐奥;斯福尔扎,安东尼奥;斯特尔,克劳迪奥:简单模式最小问题:整数线性规划公式和基于覆盖的启发式求解方法(2020)
  4. 古尔贾尔,罗希特;托马斯·蒂埃劳夫;Vishnoi,Nisheeth K.:通过晶格隔离顶点:具有全幺模面的多面体(2018)
  5. 贝托利姆,玛丽亚A。;利马,达希西诉南苏丹。;梅洛,玛格丽达P。;德雷泽德,凯蒂A。;da Silveira,Mariana R.:与光谱序列相关的代数和动力学对消(2017)
  6. 帕帕兰普鲁、康斯坦丁诺斯;Pitsoulis,Leonidas:带所有图形电路的签名图拟阵(2017)
  7. 陈文茜;饶,安吉琳;鲁斯纳克,卢卡斯J。;Yang,Alex:通过符号弱行走刻画定向超图平衡(2015)
  8. Rusnak,Lucas J.:定向超图:介绍与平衡(2013)
  9. 沃尔特,马提亚斯;Truemper,Klaus:单模块性测试的实施(2013)
  10. 克拉玛,伊夫(编辑);哈默,彼得L.(编辑):布尔函数。理论、算法和应用(2011)
  11. 布鲁尼,雷纳托:基于逻辑的聚合物序列分析方法(2010)
  12. 乌兹乌韦豪斯;特朗普,克劳斯;魏斯曼特尔,罗伯特:某些信号网络3CNF公式的线性可满足性算法(2009)
  13. 布鲁尼,雷纳托:解决肽测序的可满足性(2008)
  14. 布鲁尼,雷纳托;Santori,Andrea:DPLL算法中基于冲突的分支启发式的新更新准则(2008)
  15. 康佛蒂,米歇尔;科努埃约尔,杰拉德;Vušković,Kristina:平衡矩阵(2006)
  16. 2005年布鲁尼不满意选择
  17. Pretolani,Daniele:概率逻辑和优化SAT:PSAT和CPA模型(2005)
  18. Bruni,Renato:通过SAT解算器解决大型数据集的误差修正(2004)
  19. 达斯古塔,苏德什纳;Chandru,Vijay:最小不满足集:分类与界(2004)
  20. 克劳斯:基于逻辑的智能系统设计。(2004年)