聚硼

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

ORMS中也引用了该软件。


zbMATH中的参考文献(引用于,1标准件)

显示第1到第20个结果,共43个。
按年份排序(引用)
  1. Horáchek,Jan;Kreuzer,Martin:关于从CNF到ANF的转换(2020)
  2. Horáchek,Jan;Kreuzer,Martin;Messeng Ekossono,Ange Salomé:基于签名的边界基算法(2020)
  3. 阿古德罗·阿格德洛,胡安C.;埃切弗里·瓦伦西亚,圣地亚哥:模态逻辑的多项式语义(2019)
  4. 加西亚,丽贝卡;普恩特,路易斯·大卫·加西亚;克鲁斯,瑞安;刘,杰西卡;米亚塔,丹恩;彼得森,伊桑;菲利普斯,凯特琳;肖,安妮:《神经理想的格勃纳基础》(2018)
  5. Horáček,Jan;Kreuzer,Martin:3BA:a border bases solver with a SAT extension(2018年)
  6. 劳里亚,马西莫;埃尔弗斯,一月;诺德斯特伦,雅各布;维尼尔斯,马克:CNFgen:一个精心制作的基准(2017年)
  7. 艾特塞拉斯,阿尔伯特;劳里亚,马西莫;诺德斯特伦,雅各布:狭义证明可能最长(2016年)
  8. Cifuntes,Diego;Parrilo,Pablo A.:利用多项式理想中的弦结构:Gröbner基方法(2016)
  9. Quedenfeld,Frank-M.;Wolf,Christopher:Trivium的高级代数攻击(2016)
  10. Filmus,Yuval;Lauria,Massimo;Nordstrom,Jakob;Ron Zewi,Noga;Thapen,Neil:多项式演算中的空间复杂性(2015)
  11. Lundqvist,Samuel:布尔理想及其变体(2015)
  12. 邱益浩;洪伟志;周立平;丁金泰;杨伯银;程,陈某:对修补过的米法雷经典的实际攻击(2014)
  13. Nagai,Akira;Inoue,Shutaro:在一般计算机代数系统上实现布尔Gröbner基和综合布尔Gröbner基的方法(2014)
  14. 安东尼奥·洛恩斯(Antonio Lonso)的《回答》(Anono Loérailway),安东尼奥·洛恩斯(Antonio Lonso)的《回答》(Anono Loérailway);安东尼奥·洛恩斯(Antonio Lonso)的《回答》(Anonio Loérailway);安东尼奥·罗
  15. 孙尧;王定康:布尔多项式环上分支Gröbner基算法的实现及复杂性分析(2014)
  16. Beck,Chris;Nordstrom,Jakob;Tang,Bangsheng:多项式微积分的一些权衡结果(扩展摘要)(2013)
  17. Bonacina,Ilario;Galesi,Nicola:伪划分,横截性和局部性,代数证明系统中空间测度的组合特征(2013)
  18. Brickenstein,Michael;Dreyer,Alexander:Gröbner布尔多项式的自由范式(2013)
  19. Albrecht,Martin R.;Cid,Carlos;Faugère,Jean-Charles;Perret,Ludovic:关于MXL算法族与Gröbner基算法之间的关系(2012)
  20. 高小山;黄振宇:有限域方程求解的特征集算法(2012)

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