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