编辑配置文件（在新选项卡中打开） 彼得·鲍姆加特纳 合著者距离 作者ID： 鲍姆加特纳测试器 发布日期： 彼得·鲍姆加特纳;鲍姆加特纳，P。;鲍姆盖特纳，P。 更多。。。较少的 已编制索引的文档： 55出版物自1992年以来，包括1本书 5名编辑的贡献 合著者： 46位合著者具有49联合出版物 816联合作者 全部的 前5名合著者 10 单作者的 14 乌尔里希·富尔巴赫 9 塞萨尔·蒂内利 6 乌韦州瓦尔德曼 三 约书亚·巴克斯 三 富克斯，亚历山大 三 比约恩·佩尔泽 2 Chandrabose阿拉文丹 2 亚历山德罗·阿曼多 2 安德烈亚斯·鲍尔 2 汉斯·德·尼维尔 2 Gilles Dowek 2 艾辛格，诺伯特 2 雷娜特·施密特（Renate A.Schmidt）。 1 沃尔夫冈·阿伦特 1 Franz巴德 1 沃尔夫冈·比贝尔 1 安捷·布隆姆 1 斯特凡·布吕宁 1 阿尔乔沙·伯查特 1 科恩·克莱森 1 安妮·克雷根 1 马丁·迪勒 1 彼得·弗里奇 1 阿尔弗雷多·加巴登 1 格罗·哈德，玛格丽特 1 雷纳·哈内尔 1 约瑟夫·霍顿。 1 吉，克里斯蒂安 1 托马斯·克莱曼 1 法比奥·马萨奇 1 沃尔夫冈·内杰德尔 1 Niemelä，Ilkka N.F。 1 迈克尔·诺里什 1 乌韦·彼得曼 1 约阿希姆·波塞加 1 戴维·拉贾拉特南 1 西尔维奥·兰伊斯 1 多萝西亚·施费尔 1 斯蒂芬·舒尔茨 1 Rolf施维特尔 1 布鲁斯·斯宾塞。 1 弗里德·斯托尔森堡 1 杰夫·萨特克利夫 1 西尔维·蒂埃鲍克斯 1 费利佩·特雷维赞（Felipe W.Trevizan）。 1 理查德·沃丁格。 全部的 前5名系列 6 自动推理杂志 4 符号计算杂志 三 计算机科学课堂讲稿 2 人工智能 1 逻辑与计算杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 1 理论计算机科学电子笔记 全部的 前5名领域 57 计算机科学（68至XX） 36 数理逻辑与基础（03-XX） 5 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 46出版物有被引用318次170文件 引用人▼ 年份▼ 超级舞台。 Zbl 1427.03031号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;伊尔卡·尼梅尔 26 1996 模型演化演算作为一阶DPLL方法。 Zbl 1182.03034号 彼得·鲍姆加特纳;塞萨尔·蒂内利 20 2008 模型进化演算。 Zbl 1278.68249号 彼得·鲍姆加特纳;塞萨尔·蒂内利 18 2003 具有弱抽象的层次叠加。 Zbl 1381.03017号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 18 2013 模型演化演算中的引理学习。 Zbl 1165.03308号 彼得·鲍姆加特纳;亚历山大·福克斯;塞萨尔·蒂内利 17 2006 TPTP类型的一阶算术形式。 Zbl 1352.68217号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;彼得·鲍姆加特纳 16 2012 自底向上模型生成方法的阻塞和其他增强。 Zbl 1222.68357号 彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 16 2006 超级舞台——下一代。 Zbl 0910.03007号 彼得·鲍姆加特纳 14 1998 具有等式的模型演化演算。 Zbl 1135.03325号 彼得·鲍姆加特纳;塞萨尔·蒂内利 14 2005 FDPLL–一阶Davis-Putnam-Logeman-Loveland程序。 Zbl 0963.68182号 彼得·鲍姆加特纳 13 2000 通过简化为无函数子句逻辑计算有限模型。 Zbl 1171.68040号 彼得·鲍姆加特纳;富克斯，亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 10 2009 具有等式的超表格。 Zbl 1213.03019号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;比约恩·佩尔泽 10 2007 平等模式演变——修订并实施。 Zbl 1258.03020号 彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 9 2012 叠加和模型演化相结合。 Zbl 1237.03010号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 8 2009 \（mathcal{ME}）（LIA）–具有线性整数算术约束的模型演化。 Zbl 1182.03033号 彼得·鲍姆加特纳;富克斯，亚历山大;塞萨尔·蒂内利 8 2008 具有内置理论的模型消除演算。 Zbl 0925.03050号 彼得·鲍姆加特纳 8 1993 无禁忌的模型消除。 Zbl 1433.68532号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 7 1994 整合作为比较计算的框架。 Zbl 0803.68120号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 7 1993 重温了等级叠加。 Zbl 1443.68212号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 7 2019 自动推理。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。 Zbl 1149.68003号 6 2008 等式超表演算及其在有限模型计算中的应用。 Zbl 1193.03025号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;佩尔泽，比约恩 5 2010 诊断应用程序的Tableaux。 Zbl 1412.68206号 彼得·鲍姆加特纳;彼得·弗里奇;乌尔里希·富尔巴赫;沃尔夫冈·内杰德尔 5 1997 汇合连接演算。 Zbl 0937.03016号 彼得·鲍姆加特纳;艾辛格，诺伯特;乌尔里希·富尔巴赫 5 1999 自底向上模型生成方法的阻塞和其他增强。 Zbl 1468.68279号 彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 5 2020 一种有序理论解析演算。 Zbl 0920.03016号 彼得·鲍姆加特纳 4 1992 一种新的态势感知系统架构。 Zbl 1260.68387号 Franz巴德;安德烈亚斯·鲍尔;彼得·鲍姆加特纳;安妮·克雷根;阿尔弗雷多·加巴登;吉，克里斯蒂安;李凯文;戴维·拉贾拉特南;罗尔夫·施维特 三 2009 幽闭画面的变体。 Zbl 0977.68076号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 三 1998 通过模型消除计算答案。 Zbl 1017.03505号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;弗里德·斯托尔森堡 三 1997 数据库中视图删除的定理证明技术。 Zbl 0967.68149号 Chandrabose阿拉文丹;彼得·鲍姆加特纳 三 2000 具有等模内置理论的模型演化。 Zbl 1341.68180号 彼得·鲍姆加特纳;塞萨尔·蒂内利 三 2011 层次定理证明中的有限量化。 Zbl 1423.68407号 彼得·鲍姆加特纳;约书亚·巴克斯;乌韦州瓦尔德曼 三 2014 霍恩理论的线性和单位结果反驳。 Zbl 0860.03013号 彼得·鲍姆加特纳 2 1996 用解析表及相关方法证明定理。1995年5月7日至10日，第四届国际研讨会，TABLEAUX’95，德国圣戈阿SchloßRheinfels。诉讼程序。 Zbl 0878.00080号 2 1995 模型消去的析取正精化及其在包含删除中的应用。 兹伯利0885.03011 彼得·鲍姆加特纳;斯特凡·布吕宁 2 1997 联系计算中的理论推理。 Zbl 0917.03009号 彼得·鲍姆加特纳 2 1998 用于管理个性化文档的自动扣除技术。 Zbl 1023.68083号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 2 2003 （X）OR的驯化。 Zbl 0983.68174号 彼得·鲍姆加特纳;法比奥·马萨奇 2 2000 SMTtoTPTP–定理证明格式的转换器。 Zbl 1465.68276号 彼得·鲍姆加特纳 2 2015 Beagle–层次叠加定理证明程序。 Zbl 1465.68277号 彼得·鲍姆加特纳;约书亚·巴克斯;乌韦州瓦尔德曼 2 2015 可能的模型计算和修订–实用方法。 Zbl 07614521号 彼得·鲍姆加特纳 2 2020 最小模型超表的合并路径改进。 Zbl 0931.03014号 彼得·鲍姆加特纳;霍顿，J.D。;布鲁斯·斯宾塞 1 1999 证明无限可满足性。 Zbl 1406.68019号 彼得·鲍姆加特纳;约书亚·巴克斯 1 2013 一种合理有效的数据库视图删除算法。 Zbl 0944.68048号 Chandrabose阿拉文丹;彼得·鲍姆加特纳 1 1997 理论推理。 Zbl 0968.03017号 彼得·鲍姆加特纳;乌韦·彼得曼 1 1998 2004年在爱尔兰科克举行的关于反驳的研讨会和第二次关于决策程序语用学的国际研讨会（2004年PDPAR）的论文选集。 Zbl 1271.68015号 1 2005 Fusmate逻辑编程系统。 Zbl 07437102号 彼得·鲍姆加特纳 1 2021 Fusmate逻辑编程系统。 Zbl 07437102号 彼得·鲍姆加特纳 1 2021 自底向上模型生成方法的阻塞和其他增强。 Zbl 1468.68279号 彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 5 2020 可能的模型计算和修订–实用方法。 兹伯利07614521 彼得·鲍姆加特纳 2 2020 重新审视层次叠加。 Zbl 1443.68212号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 7 2019 SMTtoTPTP–定理证明格式的转换器。 Zbl 1465.68276号 彼得·鲍姆加特纳 2 2015 Beagle–层次叠加定理证明程序。 Zbl 1465.68277号 彼得·鲍姆加特纳;约书亚·巴克斯;乌韦州瓦尔德曼 2 2015 层次定理证明中的有限量化。 Zbl 1423.68407号 彼得·鲍姆加特纳;约书亚·巴克斯;乌韦州瓦尔德曼 三 2014 具有弱抽象的层次叠加。 Zbl 1381.03017号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 18 2013 证明无限可满足性。 Zbl 1406.68019号 彼得·鲍姆加特纳;约书亚·巴克斯 1 2013 TPTP类型的一阶形式与算术。 Zbl 1352.68217号 杰夫·萨特克利夫;斯蒂芬·舒尔茨;科恩·克莱森;彼得·鲍姆加特纳 16 2012 平等模式演变——修订并实施。 Zbl 1258.03020号 彼得·鲍姆加特纳;比约恩·佩尔泽;塞萨尔·蒂内利 9 2012 具有等式模内置理论的模型进化。 Zbl 1341.68180号 彼得·鲍姆加特纳;塞萨尔·蒂内利 三 2011 等式超表演算及其在有限模型计算中的应用。 Zbl 1193.03025号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;比约恩·佩尔泽 5 2010 通过简化为无函数子句逻辑计算有限模型。 Zbl 1171.68040号 彼得·鲍姆加特纳;富克斯，亚历山大;汉斯·德·尼维尔;塞萨尔·蒂内利 10 2009 叠加和模型演化相结合。 Zbl 1237.03010号 彼得·鲍姆加特纳;乌韦州瓦尔德曼 8 2009 一种新的态势感知系统架构。 Zbl 1260.68387号 Franz巴德;安德烈亚斯·鲍尔;彼得·鲍姆加特纳;安妮·克雷根;阿尔弗雷多·加巴登;吉，克里斯蒂安;李凯文;Rajaratnam，大卫;Rolf施维特尔 三 2009 模型演化演算作为一阶DPLL方法。 Zbl 1182.03034号 彼得·鲍姆加特纳;塞萨尔·蒂内利 20 2008 \（mathcal{ME}）（LIA）–具有线性整数算术约束的模型演化。 Zbl 1182.03033号 彼得·鲍姆加特纳;富克斯，亚历山大;塞萨尔·蒂内利 8 2008 自动推理。2008年8月12日至15日在澳大利亚悉尼举行的第四届国际联合会议。 Zbl 1149.68003号 6 2008 具有等式的超表格。 Zbl 1213.03019号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;比约恩·佩尔泽 10 2007 模型演化演算中的引理学习。 Zbl 1165.03308号 彼得·鲍姆加特纳;富克斯，亚历山大;塞萨尔·蒂内利 17 2006 自底向上模型生成方法的阻塞和其他增强。 Zbl 1222.68357号 彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 16 2006 具有等式的模型演化演算。 Zbl 1135.03325号 彼得·鲍姆加特纳;塞萨尔·蒂内利 14 2005 2004年在爱尔兰科克举行的关于反驳的研讨会和第二次关于决策程序语用学的国际研讨会（2004年PDPAR）的论文选集。 兹比尔1271.68015 1 2005 模型进化演算。 Zbl 1278.68249号 彼得·鲍姆加特纳;塞萨尔·蒂内利 18 2003 用于管理个性化文档的自动扣除技术。 Zbl 1023.68083号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 2 2003 FDPLL–一阶Davis-Putnam-Logeman-Loveland程序。 Zbl 0963.68182号 彼得·鲍姆加特纳 13 2000 数据库中视图删除的定理证明技术。 Zbl 0967.68149号 Chandrabose阿拉文丹;彼得·鲍姆加特纳 三 2000 （X）OR的驯化。 Zbl 0983.68174号 彼得·鲍姆加特纳;法比奥·马萨奇 2 2000 汇合连接演算。 Zbl 0937.03016号 彼得·鲍姆加特纳;艾辛格，诺伯特;乌尔里希·富尔巴赫 5 1999 最小模型超表的合并路径改进。 Zbl 0931.03014号 彼得·鲍姆加特纳;霍顿，J.D。;布鲁斯·斯宾塞 1 1999 超画面——下一代。 Zbl 0910.03007号 彼得·鲍姆加特纳 14 1998 小句tableaux的变体。 Zbl 0977.68076号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 三 1998 联系计算中的理论推理。 Zbl 0917.03009号 彼得·鲍姆加特纳 2 1998 理论推理。 Zbl 0968.03017号 彼得·鲍姆加特纳;乌韦·彼得曼 1 1998 诊断应用表。 Zbl 1412.68206号 彼得·鲍姆加特纳;彼得·弗里奇;乌尔里希·富尔巴赫;沃尔夫冈·内杰德尔 5 1997 通过模型消除计算答案。 Zbl 1017.03505号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;弗里德·斯托尔森堡 三 1997 模型消除的析取正精化及其在包含删除中的应用。 Zbl 0885.03011号 彼得·鲍姆加特纳;斯特凡·布吕宁 2 1997 一种合理有效的数据库视图删除算法。 Zbl 0944.68048号 Chandrabose阿拉文丹;彼得·鲍姆加特纳 1 1997 超画面。 Zbl 1427.03031号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫;伊尔卡·尼梅尔 26 1996 霍恩理论的线性和单位结果反驳。 Zbl 0860.03013号 彼得·鲍姆加特纳 2 1996 用解析表及相关方法证明定理。1995年5月7日至10日，第四届国际研讨会，TABLEAUX’95，德国圣戈阿SchloßRheinfels。诉讼程序。 Zbl 0878.00080号 2 1995 无禁忌的模型消除。 Zbl 1433.68532号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 7 1994 具有内置理论的模型消除演算。 Zbl 0925.03050号 彼得·鲍姆加特纳 8 1993 整合作为比较计算的框架。 Zbl 0803.68120号 彼得·鲍姆加特纳;乌尔里希·富尔巴赫 7 1993 一种有序理论解析演算。 Zbl 0920.03016号 彼得·鲍姆加特纳 4 1992 所有引用出版物 排名前五的出版物 全部的 前5名218位作者引用 17 彼得·鲍姆加特纳 17 克里斯托夫·韦登巴赫 10 玛丽亚·保拉（Maria Paola Bonacina） 9 雷娜特·施密特（Renate A.Schmidt）。 8 乌尔里希·富尔巴赫 8 乌韦州瓦尔德曼 7 尼古拉斯·佩尔蒂埃 7 塞萨尔·蒂内利 6 布兰切特，贾斯敏·克里斯蒂安 6 安德烈·沃伦科夫 5 马丁·布罗姆伯格 5 帕斯卡尔·方丹 5 普莱斯特德，大卫·艾伦 5 约瑟夫·乌尔班 4 伊恩·霍洛克斯 4 塞萨里·卡利西克 4 鲍里斯·莫提克 三 尼古拉·S·比约纳。 三 Paula Chocron 三 西蒙·克鲁恩斯 三 莱昂纳多·德·莫拉 三 法比奥·马萨奇 三 比约恩·佩尔泽 三 安德鲁·雷诺兹 三 克里斯托夫·林盖森 三 杰夫·萨特克利夫 三 Christoph Wernhard公司 2 Chandrabose阿拉文丹 2 克拉克·W·巴雷特。 2 伯恩哈德·贝克特 2 亚历山大·本特坎普 2 Benzmüller、Christoph Ewald 2 沃尔夫冈·比贝尔 2 布朗，查德·爱德华 2 纪尧姆·伯里 2 迭戈·卡尔瓦内斯 2 伯纳多·昆卡·格劳 2 安纳托利·伊万诺维奇·德吉亚列夫 2 大卫·德拉哈耶 2 丹尼尔·多尔蒂（Daniel J.Dougherty）。 2 穆纳乔·埃切宁 2 阿诺德·菲埃茨克 2 阿尔贝托·菲奥里 2 Thibault Gauthier 2 西尔维奥·吉拉尔迪 2 亚历山德罗·吉亚诺拉 2 圣菲省格拉汉·伦格兰德 2 费鲁奇奥·吉迪 2 雷纳·哈内尔 2 马提亚斯·霍巴赫 2 乌尔里希Hustadt 2 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 2 亨德里克·莱丁格 2 洛伦兹·勒特盖布 2 克里斯托弗·林奇（Christopher A.Lynch）。 2 马可·蒙塔利 2 帕普，基督徒 2 劳伦斯·查尔斯·保尔森 2 弗洛里安·拉贝 2 贾尔斯·里格尔 2 安德烈·里夫金 2 克劳迪奥·萨塞尔多蒂·科恩 2 克劳迪娅·肖恩 2 维奥里卡Sofrone-Stokkerman 2 索菲·托雷特 2 德坎·特兰 2 佩塔·武克米罗维奇 2 Sarah温克勒 1 加博尔·阿拉吉 1 马里奥·阿尔维亚诺 1 彼得·贝克曼 1 巴哈雷赫巴德班 1 琼·巴加里亚 1 哈尼尔·巴博萨 1 约书亚·巴克斯 1 安德烈亚斯·贝伦德 1 约阿希姆·比斯库普 1 马格纳斯·比约克 1 Böhme，萨沙 1 斯特凡·布拉斯 1 斯特凡·布吕宁 1 莫里斯·布吕诺格 1 纪尧姆·伯勒 1 里卡多·卡费拉 1 拉斐尔·考德利埃 1 大卫·特纳·库卡拉 1 瑞安·达纳斯 1 德卡特，布罗斯 1 汉斯·德·尼维尔 1 戴维·戴哈贝 1 纳鸿·德肖维茨 1 马丁·德沙奈斯 1 尤尔根Dix 1 弗朗西斯科·多尼尼。 1 伊琳娜·德拉古斯特 1 马修·德怀尔。 1 安德烈亚斯·艾格斯 1 沃尔夫冈·费伯 1 拉沙·法奎 1 迈克尔·Färber …还有118位作者 全部的 前5名22篇连载文章中引用 34 自动推理杂志 13 符号计算杂志 9 人工智能 5 理论计算机科学 4 数学与人工智能年鉴 三 计算机科学中的数学 2 信息与计算 2 逻辑程序设计理论与实践 2 计算机科学中的逻辑方法 1 离散应用数学 1 统计物理杂志 1 计算的形式方面 1 AI通信 1 系统设计中的形式化方法 1 数学科学杂志（纽约） 1 数学逻辑季刊（MLQ） 1 符号逻辑公报 1 ACM计算逻辑事务 1 应用逻辑杂志 1 统计力学杂志：理论与实验 1 泛逻辑 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个领域引用 154 计算机科学（68至XX） 86 数理逻辑与基础（03-XX） 2 统计力学，物质结构（82-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 交换代数（13-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文