钙DiCaL swMATH ID: 31645 软件作者: A.Biere。 描述: CaDiCaL简化可满足性求解器:CaDiCaL的目标是提供一个干净高效的最先进的CDCL求解器,它也易于理解和更改 主页: http://fmv.jku.at/cadical网站/ 源代码: https://github.com/arminbiere/cadical 相关软件: 玲玲;弯曲;超小卫星;Treengeling公司;YalSAT卫星;帕拉库巴;基萨特;github;糠;DRAT-饰件;MapleCOMSPS公司;葡萄糖;地图COMSPS_LRB;通信卫星;HordeSat公司;PySAT公司;z3型;结块_lpr;糖浆;PrecoSAT公司 引用于: 31文件 全部的 前5名81位作者引用 8 Heule,Marijn J.H。 5 阿明·比尔 三 Aleksandr Anatol’evich塞梅诺夫 2 Randal E.布莱恩特。 2 马蒂亚斯·弗勒里 2 曼纽尔·考尔斯 2 斯蒂芬·科切马佐夫 2 伊利亚·奥特普申尼科夫。 2 马蒂娜·塞德尔 2 埃姆雷·约尔库 1 斯科特·亚伦森 1 奥斯文·艾奇霍尔泽 1 马里兰州Jawaherul Alam。 1 卡洛斯·安索特吉 1 迈克尔·贝科斯(Michael A.Bekos)。 1 尼古拉·S·比约纳。 1 蔡少伟 1 吉尔·迪肯 1 维达·杜杰莫维奇 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 弗罗莱克斯,尼尔斯 1 Fu、Yu Fu 1 吉拉尔德斯·克鲁,杰苏斯 1 伊琳娜·格里巴诺娃 1 马丁·格罗尼曼 1 马克西米利安·海辛格 1 Keijo Heljanko 1 阿卡什侯赛因 1 索丽娜·爱奥尼卡 1 马库斯·伊泽尔 1 马蒂·Järvisalo 1 本杰明·基尔 1 扬·肯尔 1 弗朗索瓦·拉鲁西尼 1 麦克斯韦·列瓦提奇 1 约尔迪·利维 1 李楚敏 1 李、余 1 刘嘉祥 1 刘振军 1 努诺·P·洛佩斯。 1 吕志鹏 1 罗,毛 1 诺伯特·曼恩 1 很多,费利普 1 沃伊切赫·纳罗基 1 奥杰达、杰苏斯 1 安托尼奥·帕切科 1 坎斯坦钦·帕什科维奇 1 劳伦·波里耶 1 约瑟夫·庞 1 巴特·普雷内尔 1 谢尔盖·普皮耶夫 1 约瑟夫·里夫斯(Joseph E.Reeves)。 1 Franz-Xaver Reichl 1 安德烈·雷巴尔琴科 1 Josep M.萨尔瓦多。 1 彼得·桑德斯 1 曼弗雷德·舒彻 1 多米尼克·施赖伯 1 石小木 1 弗里德里希·斯利沃夫斯基 1 马丁·苏达 1 孙玲 1 斯泽德,斯特凡 1 爱德华·托雷斯 1 莫尼卡·特里莫斯卡 1 蔡明勋 1 巴维尔·瓦尔特 1 比吉特·沃格滕豪伯(Birgit Vogtenhuber) 1 Chandrasekar的Vuppalapati 1 王,弯腰 1 王美琴 1 王伟 1 吴新余 1 肖,范 1 杨伯寅 1 于,艾米丽 1 奥列格·谢尔盖维奇·扎金 1 多龙·泽尔伯格 1 张新迪 全部的 前5名10篇连载文章中引用 三 人工智能 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 自动推理杂志 1 计算几何 1 ACM计算逻辑事务 1 优化信函 1 计算机科学中的逻辑方法 1 DML。离散数学字母 全部的 前5名在7个字段中引用 27 计算机科学(68至XX) 三 组合数学(05-XX) 三 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 凸和离散几何(52至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文