弯曲 swMATH ID: 7091 软件作者: 阿明·比尔 描述: 2010年sat比赛中的凌乱、踩踏、picosat和precast 主页: http://fmv.jku.at/lingeling/ 关键词: SAT解算器 相关软件: 玲玲;Treengeling公司;超小卫星;YalSAT卫星;钙DiCaL;糠;ManySAT公司;PrecoSAT公司;葡萄糖;斯普拉茨;加密MiniSat;DRAT-饰件;z3型;HordeSat卫星;帕拉库巴;巴基斯坦国家税务局;PaInleSS公司;PicoSAT卫星;基萨特;帕拉米尔斯 引用于: 86文件 更多出版物: http://fmv.jku.at/papers/index.html 全部的 前5名203位作者引用 12 阿明·比尔 12 Heule,Marijn J.H。 5 维杰·加内什 4 马吕斯·林道尔 4 安托尼奥·莫尔加多 4 Aleksandr Anatol’evich塞梅诺夫 三 费利克斯·勃兰特 三 马蒂亚斯·弗勒里 三 霍尔格·H·胡斯。 三 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 三 马蒂·Järvisalo 三 汤米·A·琼蒂拉。 三 曼纽尔·考尔斯 三 斯蒂芬·科切马佐夫 三 凯文·莱顿·布朗 三 梁家辉 三 Joáo P.塞尔瓦侯爵。 三 马蒂娜·塞德尔 2 托马斯·巴利奥 2 蔡少伟 2 Czarnecki、Krzysztof 2 基斯特,克里斯蒂安 2 吉拉尔德斯·克鲁,杰苏斯 2 弗兰克·哈特 2 井上,Katsumi 2 马库斯·伊泽尔 2 马蒂·卡帕 2 佩特里·卡斯基 2 朱卡,科霍宁 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 李伯翰 2 约翰·麦基 2 诺伯特·曼恩 2 希德托莫·纳贝希玛 2 哦,Chanseok 2 伊利亚·奥特普申尼科夫。 2 多米尼克·彼得斯 2 Poupart,帕斯卡 2 彼得·桑德斯 2 卡斯滕·辛兹 2 赫尔穆特·维思 2 约瑟夫·威德 2 奥列格·谢尔盖维奇·扎金 2 张新迪 1 马里兰州Jawaherul Alam。 1 卡洛斯·安索特吉 1 罗伯托·阿斯因 1 苏海卜·巴里尔 1 乔治·巴赫迈耶 1 阿德里安·巴林特 1 马克斯·班纳赫 1 李·巴奈特(Lee A.Barnett)。 1 克拉克·W·巴雷特。 1 马克·巴蒂 1 纪尧姆·波德·贝蒂尔 1 萨姆·贝利斯 1 比恩,克里斯蒂安 1 贝恩德·贝克尔 1 迈克尔·贝科斯(Michael A.Bekos)。 1 Beleĭ,Evgeniya Gennad’evna 1 安东·贝洛夫 1 塞巴斯蒂安·伯恩特 1 尼古拉·S·比约纳。 1 玛丽亚·路易莎·博内 1 乔舒亚·布拉肯西克 1 布莱特,柯蒂斯 1 伯查德,简 1 Samuel R.巴斯。 1 克里斯托夫·塞林 1 大卫·M·塞尔纳。 1 克劳迪娜·朝义亚 1 程曦 1 张凯文·K·H。 1 乔治·康斯坦丁德斯(George A.Constantinides)。 1 大卫·丹克斯 1 莱昂纳多·德·莫拉 1 E.A.德加切夫。 1 沃纳·迪特尔 1 克里斯托夫·多布拉尼格 1 维达·杜杰莫维奇 1 弗雷德里克·埃伯哈特 1 凯萨琳娜·艾根斯佩格 1 托尔斯滕·埃勒 1 玛丽亚·艾希塞德 1 简·埃尔弗斯 1 纪尧姆·埃斯卡莫彻 1 罗尔夫·法格伯格 1 艾蒂安·法科特 1 克里斯托夫·弗拉姆 1 安德烈亚斯·弗里奇(Andreas M.Fröhlich)。 1 弗罗莱克斯,尼尔斯 1 伊恩·菲利普 1 伊琳娜·格里巴诺娃 1 马丁·格罗尼曼 1 古德蒙德松,比亚基·阿古斯特 1 哈里·戈文德,V.K。 1 保罗·哈伦斯坦 1 马克西米利安·海辛格 1 沃伦·亨特(Warren A.jun Hunt)。 1 安蒂·海蒂宁 …还有103位作者 全部的 前5名26篇连载文章中引用 10 人工智能 4 系统设计中的形式化方法 三 符号计算杂志 2 理论计算机科学 2 约束条件 1 离散数学 1 计算数学 1 计算机与系统科学杂志 1 经济理论杂志 1 数学社会科学 1 图与组合 1 信息与计算 1 自动推理杂志 1 国际近似推理杂志 1 机器学习 1 国际应用数学与计算机科学杂志 1 逻辑程序设计理论与实践 1 SIAM应用动力系统杂志 1 ACM计算逻辑事务 1 ACM实验算法杂志 1 计算机科学中的数学 1 优化信函 1 计算机科学中的逻辑方法 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 理论计算机科学课文。EATCS系列 1 DML。离散数学字母 全部的 前5名在12个字段中引用 76 计算机科学(68至XX) 8 组合数学(05-XX) 5 数学逻辑和基础(03-XX) 5 信息与通信理论、电路(94-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 运筹学、数学规划(90-XX) 2 阶、格、有序代数结构(06-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 统计学(62-XX) 1 经典热力学,传热(80-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文