CUDD公司 157篇文献引用(1997–2023) 软件作者: 法比奥·萨蒙齐 相关软件: NuSMV;自旋蛋白;棱镜… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
苏普雷米卡 26篇文献引用(2009–2023) 软件作者: 克努特·阿克森;马丁·费边(Martin Fabian);雨果·弗洛达尔;罗比·马利克 相关软件: UMDES;TCT;NuSMV… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…
紫苏 在14份文件中引用(2007–2022) 软件作者: 马库斯·贝勒 相关软件: Matlab;归一化;PPL… 主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
西尔文 11份文件引用(2020–2023) 软件作者: van Dijk,T。;范德波尔,J。 相关软件: LTSmin公司;棱镜;BuDDy… 主要字段: 数论(11-XX);场论与多项式(12-XX);交换代数(13-XX)…
SBSAT卫星 10篇文献引用(2004–2023) 软件作者: 约翰·佛朗哥;米查尔·库里尔;约翰·施利普夫;杰弗里·沃德;肖恩·韦弗(Sean Weaver);Michael Dransfield;W.Mark范弗利特 相关软件: 不可抗力;糠;伯克敏… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
马戏团 引用于9份文件(2004–2017) 软件作者: Jin,HoonSang;法比奥·萨蒙齐 相关软件: 糠;CUDD;zChaff… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
质量管理尽职调查 引用于9份文件(2008–2023) 软件作者: D.M.Miller,M.A.Thornton 相关软件: QuIDDPro;qHiPSTER;项目Q… 主要字段: 计算机科学(68-XX);量子理论(81-XX);信息与通信理论,电路(94-XX)
ROBDD公司 5份文件引用(1992–2003) 软件作者: Brace,K.S。;伦德尔,R.L。;R.E.布莱恩特。 相关软件: NQTHM公司 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
CASPA公司 4份文件引用(2008–2015) 软件作者: 延斯·巴赫曼;马丁·里德尔(Martin Riedl);约翰·舒斯特(Johann Schuster);马库斯·西格尔 相关软件: 棱镜;CUDD;参数 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
密度ZDD 1份文件引用(2018) 软件作者: Denzumi,Shuhei;川原,Jun;筑田、小井;阿里穆拉(Arimura)、弘基(Hiroki);Minato,Shin-ichi;Kunihiko Sadakane 相关软件: LCM;石墨;蓝宝石BDD 主要字段: 计算机科学(68-XX)
项目工具包 2份文件引用(2015年至2017年) 软件作者: ITEM软件(美国)公司 相关软件: 棱镜;MARCA;HyperStar… 主要字段: 概率论与随机过程(60-XX);运筹学、数学规划(90-XX)
库雷 2份文件引用(2008–2009) 软件作者: U.米兰人 相关软件: RelView;GBDD;Z、 … 主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);范畴理论;同调代数(18-XX)…
NuMDG公司 2份文件引用(2011–2012) 软件作者: 阿贝德,赛义德;亚辛·莫赫塔里;艾特·穆罕默德(Ait-Mohamed),奥特曼(Otmane);索菲涅·塔哈尔 相关软件: Velev SAT基准;NuSMV公司 主要字段: 组合数学(05-XX);计算机科学(68-XX)
密码路径 1份文件引用(2021) 软件作者: 约翰·彼得·因德罗伊;尼古拉斯·科斯特斯(Nicolas Costes);赫瓦尔德拉德姆 相关软件: 精彩;ADD-标签;dd… 主要字段: 数论(11-XX);群论与推广(20-XX);计算机科学(68-XX)…