编辑配置文件（在新选项卡中打开） 弗洛里安·科齐利厄斯 合著者距离 作者ID： 佛罗里达科齐留斯 发布日期： 弗洛里安·科齐利厄斯 已编制索引的文档： 5出版物自2011年起 合著者： 7合著者具有5联合出版物 171位合作作者 全部的 前5名合著者 0 单作者的 5 艾丽卡·阿尔布拉汉姆 2 塞巴斯蒂安·荣格斯 2 基里恩·克莱默 2 乌尔里奇·洛普 1 贝恩德·贝克尔 1 卡斯滕·谢布勒 1 斯特凡·舒普 系列 领域 5 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 交换代数（13-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用42中的次26文件 引用人▼ 年份▼ SMT-RAT型：开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯；基里恩·克莱默；塞巴斯蒂安·荣格斯；斯特凡·舒普；艾丽卡·阿尔布拉汉姆 17 2015 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普；卡斯滕·谢布勒；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔 8 2013 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 Zbl 1453.90186号 基里恩·克莱默；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 7 2016 SMT求解的虚拟替代。 Zbl 1342.68282号 弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 6 2011 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯；乌尔里奇·洛普；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 4 2013 广义分枝定界方法及其在SAT模非线性整数算法中的应用。 Zbl 1453.90186号 基里恩·克莱默；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 7 2016 SMT-RAT型：开源C类++用于战略和并行SMT解决的工具箱。 Zbl 1471.68241号 弗洛里安·科齐利厄斯；基里恩·克莱默；塞巴斯蒂安·荣格斯；斯特凡·舒普；艾丽卡·阿尔布拉汉姆 17 2015 区间约束传播与柱面代数分解的共生。 Zbl 1381.68274号 乌尔里奇·洛普；卡斯滕·谢布勒；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆；贝恩德·贝克尔 8 2013 基于Gröbner基的可满足性-模理论求解实数。 Zbl 1398.68696号 塞巴斯蒂安·荣格斯；乌尔里奇·洛普；弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 4 2013 SMT求解的虚拟替代。 Zbl 1342.68282号 弗洛里安·科齐利厄斯；艾丽卡·阿尔布拉汉姆 6 2011 所有引用的出版物 前5名被引用出版物 全部的 前5名72位作者引用 11 艾丽卡·阿尔布拉汉姆 7 基里恩·克莱默 4 詹姆斯·哈罗德·达文波特 4 英格兰，马修 三 亚历山德罗·西马蒂 三 弗洛里安·科齐利厄斯 三 阿尔贝托·格里乔 2 斯特凡·舒普 2 罗伯托·塞巴斯蒂亚尼 2 托马斯·斯特姆 1 约翰·A·阿伯特。 1 克拉克·W·巴雷特。 1 贝恩德·贝克尔 1 菲利波·比加雷拉 1 安娜·玛丽亚·比加蒂 1 罗素·J·布拉德福德。 1 布莱恩，马丁 1 布莱特，柯蒂斯 1 克里斯托弗·布朗（Christopher W.Brown）。 1 布赫伯格，布鲁诺 1 蔡少伟 1 凯瑟琳·科德威尔 1 Czarnecki、Krzysztof 1 mnesc博士，Isabela 1 特里斯坦·埃伯特 1 梅德利纳·埃拉什库 1 帕斯卡·方丹 1 史蒂芬·福雷斯特 1 维杰·加内什 1 林赛·格罗夫斯。 1 恩斯特·莫里茨·哈恩 1 阿尔伯特·海因勒 1 黄成超 1 艾哈迈德·伊尔凡 1 都铎Jebelean 1 马丁·乔纳什 1 德扬·约瓦诺维奇 1 塞巴斯蒂安·荣格斯 1 Khanh，To Van先生 1 科齐里亚斯（Ilias S.Kotsireas）。 1 丹尼尔·科宁 1 尼克拉斯·克鲁夫 1 加博尔·库斯珀 1 李伯翰 1 李志斌 1 帕特里克·D·林肯。 1 恩里科·利帕里尼 1 米兰洛普哈·茨瓦肯贝格 1 克里斯托夫·吕德斯 1 斯特凡·米奇 1 贾斯珀·纳尔巴赫 1 赛义德·内贾蒂 1 斯蒂芬诺·尼科莱蒂（Stefano M.Nicoletti）。 1 小川，水井裕人 1 大卫·J·皮尔斯。 1 安德烈·普拉泽 1 奥维迪乌·拉杜列斯库 1 安德鲁·雷诺兹 1 马可·罗维里 1 马蒂亚斯·沙拉格 1 Werner M.塞勒。 1 菲利普·斯佩克特 1 玛丽·斯托琳加 1 斯特拉图拉特，索林 1 塞萨尔·蒂内利 1 阿什什·库马尔·蒂瓦里 1 帕特里克·特伦丁 1 董武轩 1 马克·乌廷 1 塞巴斯蒂安·沃尔彻 1 徐明 1 张新迪 全部的 前5名8篇连载文章中引用 三 符号计算杂志 2 自动推理杂志 2 系统设计中的形式化方法 1 信息与计算 1 ACM计算逻辑事务 1 计算机科学中的数学 1 《大学学报》。Informatica公司 1 程序设计中的逻辑和代数方法杂志 全部的 前5名11个领域引用 25 计算机科学（68至XX） 6 数理逻辑与基础（03-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 场论与多项式（12-XX） 1 交换代数（13-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 代数拓扑（55-XX） 1 数值分析（65-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文