聚硼

Polybori:用布尔多项式进行Gröbner基计算的框架。这项工作提出了一个新的框架计算格布纳基布尔多项式。布尔多项式可以用一种相当简单的方式建模,系数和每个变量的度数都在{0,1}。然而,布尔多项式环不是多项式环,而是具有两个元素模的场上多项式环的商环,每个变量x的场方程x2=x。因此,通常的多项式数据结构似乎不适合快速Gröbner基计算。我们介绍了一种基于零抑制二元决策图的布尔多项式的专用数据结构,它能够在内存消耗和计算速度方面更有效地处理这些多项式。此外,我们集中在高级算法方面,考虑到新的数据结构以及布尔多项式的结构特性。例如,引入了布尔环中Gröbner基计算的一个新的无用对准则。我们工作的动机之一是基于布尔表达式的形式化硬件和软件验证的重要性越来越大,这除了问题的复杂性之外,还因为缺乏对算术组件的适当处理而受到影响。我们确信代数方法更适合,我们相信我们的初步实现表明,基于特定数据结构的Gröbner可以处理工业规模的问题。

ORMS中也引用了该软件。


zbMATH中的参考文献(参考文献48条,1标准件)

显示结果1到20,共48个。
按年份排序(引文)
  1. 黄振宇;孙(中)、姚;林东岱:用特征集方法求解布尔多项式系统的有效性(2021)
  2. 霍拉切克,一月;Kreuzer,Martin:关于从CNF到ANF的转换(2020)
  3. 霍拉切克,一月;克鲁泽,马丁;基于Salekom-Messe的基础算法(基于Salekom-Messe-2020)
  4. 阿奎德罗·阿奎德罗,胡安·C。;埃切弗里瓦伦西亚,圣地亚哥:模态逻辑的多项式语义学(2019)
  5. 加西亚,丽贝卡;普恩特,路易斯大卫加西亚;克鲁斯,瑞安;刘,杰西卡;丹麦米雅塔;彼得森,伊桑;菲利普斯,凯特琳;Shiu,Anne:Gröbner神经理想基础(2018)
  6. 霍拉切克,一月;Kreuzer,Martin:3BA:一个带有SAT扩展的边界基础解算器(2018)
  7. 劳里亚,马西莫;小精灵,简;诺德斯特伦,雅各布;Vinyals,Marc:CNFgen:精心制作的基准(2017)
  8. 阿尔伯特,阿特塞拉斯;劳里亚,马西莫;Nordström,Jakob:狭义证明可能最长(2016)
  9. Cifuntes,迭戈;Parrilo,Pablo A.:利用多项式理想中的弦结构:Gröbner基方法(2016)
  10. 安东尼奥·赫尔南多;马蒂斯特·马丁内斯,罗伯托;Roanes Lozano,Eugenio:实现代数专家系统的自然语言(2016)
  11. 马蒂斯特·马丁内斯,罗伯托;安东尼奥·赫尔南多;Roanes Lozano,Eugenio:用于检测专家系统中几乎危险情况的代数方法(2016)
  12. 奎登费尔德,弗兰克-M。;沃尔夫,克里斯托弗:对三层结构的高级代数攻击(2016)
  13. 菲默斯,尤瓦;劳里亚,马西莫;诺德斯特伦,雅各布;罗恩·泽维,诺加;Thapen,Neil:多项式演算中的空间复杂性(2015)
  14. 安东尼奥·赫尔南多;Roanes Lozano,Eugenio:基于不同专家知识实现专家系统的代数模型(2015)
  15. Lundqvist,Samuel:布尔理想及其变体(2015)
  16. 赵一浩;洪伟志;周立平;丁金泰;阳、伯音;郑、陈某:对修补过的MIFARE Classic的实际攻击(2014)
  17. 长井、秋原;Inoue,Shutaro:在一般计算机代数系统上实现布尔Gröbner基和综合布尔Gröbner基的方法(2014)
  18. 罗恩斯·洛扎诺,尤金尼奥;阿隆索,何塞·安东尼奥;Antonio Hernando:铁路联锁系统中从答案集编程到决策的方法(2014)
  19. 孙尧;王丁康:布尔多项式环上分支Gröbner基算法的实现与复杂性分析(2014)
  20. 贝克,克里斯;雅各布诺德斯特罗姆;唐邦生:多项式微积分的一些权衡结果(扩展摘要)(2013)

更多出版物请访问:http://polybori.sourceforge.net/doc/tutorial/tutorial1.html\x6-510004.2号