Treengeling公司 swMATH ID: 13314 软件作者: 比尔,A 描述: Lingeling、Plingeling和Treengeling:Lingeling及其平行版本Plingeling和Treengeling在SAT’14比赛中获得了4个赛道(11个赛道中)的第一名,并因此在FLoC’14奥运会上获得了4枚哥德尔奖牌。 主页: http://fmv.jku.at/lingeling/ 相关软件: 弯曲;玲玲;超小卫星;YalSAT卫星;钙DiCaL;糠;ManySAT公司;葡萄糖;斯普拉茨;DRAT-饰件;z3型;PaInleSS公司;帕拉库巴;基萨特;HordeSat公司;MapleCOMSPS公司;github;帕拉米尔斯;Yices公司;巴基斯坦国家税务局 引用于: 67文件 全部的 前5名164位作者引用 10 Heule,Marijn J.H。 8 阿明·比尔 4 马吕斯·林道尔 三 费利克斯·勃兰特 三 维杰·加内什 三 霍尔格·H·胡斯。 三 曼纽尔·考尔斯 三 凯文·莱顿·布朗 三 马蒂娜·塞德尔 三 Aleksandr Anatol’evich塞梅诺夫 2 托马斯·巴利奥 2 蔡少伟 2 基斯特,克里斯蒂安 2 吉拉尔德斯·克鲁,杰苏斯 2 弗兰克·哈特 2 马库斯·伊泽尔 2 马蒂·Järvisalo 2 汤米·A·琼蒂拉。 2 马蒂·卡帕 2 卡斯基,佩特里 2 斯蒂芬·科切马佐夫 2 朱卡·科亨 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 李伯翰 2 约翰·麦基 2 诺伯特·曼恩 2 安东尼奥·莫尔加多 2 哦,Chanseok 2 伊利亚·奥特普申尼科夫。 2 多米尼克·彼得斯 2 彼得·桑德斯 2 Laurent S.R.西蒙。 2 卡斯滕·辛兹 2 赫尔穆特·维思 2 约瑟夫·威德 2 张新迪 1 马里兰州Jawaherul Alam。 1 卡洛斯·安索特吉 1 吉尔·奥德玛 1 苏海卜·巴里尔 1 乔治·巴赫迈耶 1 阿德里安·巴林特 1 佩德罗·巴拉奥纳 1 李·巴奈特(Lee A.Barnett)。 1 克拉克·W·巴雷特。 1 纪尧姆·波德·贝蒂尔 1 萨姆·贝利斯 1 比恩,克里斯蒂安 1 贝恩德·贝克尔 1 迈克尔·贝科斯(Michael A.Bekos)。 1 叶甫根尼娅·根纳德埃夫娜 1 玛丽亚·路易莎·博内 1 乔舒亚·布拉肯西克 1 布莱特,柯蒂斯 1 伯查德,简 1 Samuel R.巴斯。 1 大卫·M·塞尔纳。 1 克劳迪娜·朝义亚 1 程曦 1 张凯文·K·H。 1 大卫·丹克斯 1 E.A.德加切夫。 1 沃纳·迪特尔 1 克里斯托夫·多布拉尼格 1 维达·杜杰莫维奇 1 弗雷德里克·埃伯哈特 1 凯萨琳娜·艾根斯佩格 1 玛丽亚·艾希塞德 1 埃尔弗斯,简 1 纪尧姆·埃斯卡莫彻 1 埃斯普拉-戈米斯,米克尔 1 艾蒂安·法科特 1 马蒂亚斯·弗勒里 1 米克尔·L·福卡达。 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 弗罗莱克斯,尼尔斯 1 伊琳娜·格里巴诺娃 1 马丁·格罗尼曼 1 古德蒙德松,比亚基·阿古斯特 1 保罗·哈伦斯坦 1 斯特芬·Hölldobler 1 沃伦·亨特(Warren A.jun Hunt)。 1 安蒂·海蒂宁 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 井上,胜美 1 米科拉什·亚诺塔 1 詹·约翰森 1 纳希德·朱马 1 凯文·卡德尔 1 丹尼尔·考夫曼 1 本杰明·基尔 1 鲍里斯·科涅夫 1 Fabrice Kordon公司 1 科齐里亚斯(Ilias S.Kotsireas)。 1 奥利弗·库尔曼 1 玛丽亚娜·拉齐奇 1 卢多维奇·勒弗里克斯 1 约尔迪·利维 1 李楚敏 1 李春晓 …还有64位作者 全部的 前5名22篇连载文章中引用 9 人工智能 三 符号计算杂志 三 系统设计中的形式化方法 2 理论计算机科学 1 离散数学 1 计算数学 1 计算机与系统科学杂志 1 经济理论杂志 1 数学社会科学 1 图与组合 1 信息与计算 1 自动推理杂志 1 国际近似推理杂志 1 机器学习 1 人工智能研究杂志 1 SIAM应用动力系统杂志 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 优化信函 1 计算机科学中的逻辑方法 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 DML。离散数学字母 全部的 前5名11个领域引用 58 计算机科学(68至XX) 7 组合数学(05-XX) 4 数学逻辑和基础(03-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 信息与通信理论、电路(94-XX) 2 运筹学、数学规划(90-XX) 1 有序,格,有序代数结构(06-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文