玲玲 swMATH ID: 28021 软件作者: Heule,Marijn J.H。;阿明·比尔 描述: SAT解算器玲玲。 主页: http://fmv.jku.at/lingeling/ 相关软件: 弯曲;Treengeling公司;超小卫星;YalSAT卫星;糠;钙DiCaL;葡萄糖;PrecoSAT公司;ManySAT公司;DRAT-饰件;加密MiniSat;斯普拉茨;z3型;萨特齐拉;协处理器;帕拉库巴;基萨特;SMAC公司;帕拉米尔斯;PicoSAT卫星 引用于: 99文件 全部的 前5名227位作者引用 14 阿明·比尔 12 Heule,Marijn J.H。 6 马吕斯·林道尔 5 马蒂·Järvisalo 5 马蒂娜·塞德尔 4 维杰·加内什 4 霍尔格·H·胡斯。 4 弗兰克·哈特 4 凯文·莱顿·布朗 4 Aleksandr Anatol’evich塞梅诺夫 三 费利克斯·勃兰特 三 蔡少伟 三 马库斯·伊泽尔 三 曼纽尔·考尔斯 三 本杰明·基尔 三 斯蒂芬·科切马佐夫 三 诺伯特·曼恩 三 卡斯滕·辛兹 三 张新迪 2 卡洛斯·安索特吉 2 罗伯托·阿斯因 2 托马斯·巴利奥 2 马蒂亚斯·弗勒里 2 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 2 基斯特,克里斯蒂安 2 吉拉尔德斯·克鲁,杰苏斯 2 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 奥利弗·库尔曼 2 Jean-Marie拉格尼茨 2 约尔迪·利维 2 李伯翰 2 梁家辉 2 约翰·麦基 2 皮埃尔·侯爵 2 伊恩·米格尔 2 安东尼奥·莫尔加多 2 哦,Chanseok 2 伊利亚·奥特普申尼科夫。 2 多米尼克·彼得斯 2 托拜厄斯·菲利普 2 彼得·桑德斯 2 Schaub,Torsten H。 2 哈南沙巴纳 2 Laurent S.R.西蒙。 2 汉斯·托姆皮茨 2 赫尔穆特·维思 2 约瑟夫·威德 2 奥列格·谢尔盖维奇·扎金 1 坦比尔·艾哈迈德 1 阿坤、奥祖尔 1 马里兰州Jawaherul Alam。 1 乔瓦尼·阿蒙多拉 1 吉尔·奥德玛 1 苏海卜·巴里尔 1 乔治·巴赫迈耶 1 阿德里安·巴林特 1 李·巴奈特(Lee A.Barnett)。 1 克拉克·W·巴雷特。 1 萨姆·贝利斯 1 比恩,克里斯蒂安 1 贝恩德·贝克尔 1 迈克尔·贝科斯(Michael A.Bekos)。 1 叶甫根尼娅·根纳德埃夫娜 1 杰里米亚斯·伯格 1 伯恩德·比施尔 1 玛丽亚·路易莎·博内 1 乔舒亚·布拉肯西克 1 布莱特,柯蒂斯 1 伯查德,简 1 Samuel R.巴斯。 1 克里斯托夫·塞林 1 大卫·M·塞尔纳。 1 克劳迪娜·朝义亚 1 程曦 1 张凯文·K·H。 1 Czarnecki、Krzysztof 1 大卫·丹克斯 1 E.A.德加切夫。 1 沃纳·迪特尔 1 丹尼·多列夫 1 维达·杜杰莫维奇 1 弗雷德里克·埃伯哈特 1 凯萨琳娜·艾根斯佩格 1 埃尔弗斯,简 1 纪尧姆·埃斯卡莫彻 1 罗尔夫·法格伯格 1 斯特凡·福克纳 1 艾蒂安·法科特 1 马塞洛·芬格 1 克里斯托夫·弗拉姆 1 亚历山大·弗雷谢特 1 弗罗莱克斯,尼尔斯 1 傅惠民 1 马丁·格布瑟 1 伊恩·菲利普 1 大卫·盖罗 1 伊琳娜·格里巴诺娃 1 马丁·格罗尼曼 1 古德蒙德松,比亚基·阿古斯特 ……还有127位作者 全部的 前5名30篇连载文章中引用 16 人工智能 4 系统设计中的形式化方法 三 符号计算杂志 2 计算机与系统科学杂志 2 理论计算机科学 2 自动推理杂志 2 约束条件 2 逻辑程序设计理论与实践 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 1 离散应用数学 1 离散数学 1 计算数学 1 经济理论杂志 1 数学社会科学 1 图与组合 1 信息与计算 1 国际近似推理杂志 1 机器学习 1 顶部 1 国际应用数学与计算机科学杂志 1 SIAM应用动力系统杂志 1 ACM实验算法杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 计算机科学中的数学 1 优化信函 1 对称 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 乌拉尔数学杂志 1 DML。离散数学字母 全部的 前5名在12个字段中引用 86 计算机科学(68至XX) 11 组合数学(05-XX) 9 数学逻辑和基础(03-XX) 6 信息与通信理论、电路(94-XX) 5 运筹学、数学规划(90-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 有序,格,有序代数结构(06-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 统计学(62-XX) 1 经典热力学,传热(80-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文