×

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位作者

按年份列出的引文