聚硼


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