编辑配置文件（在新选项卡中打开） 玛丽亚·保拉（Maria Paola Bonacina） 合著者距离 作者ID： 三尖鲍那霉 发布日期： 玛丽亚·保拉（Maria Paola Bonacina）；博纳西纳，M.P。 外部链接： ORCID公司 已编制索引的文档： 47出版物自1991年起 5名编辑的贡献 审查活动： 18评论 合著者： 28位合著者具有40联合出版物 642合著作者 全部的 前5名合著者 12 单作者的 10 Jieh乡 5 穆纳乔·埃切宁 三 纳鸿·德肖维茨 三 圣菲省格拉汉·伦格兰德 三 穆阿·约翰逊 三 西尔维奥·兰伊斯 三 Natarajan Shankar 2 亚历山德罗·阿曼多 2 莱昂纳多·德·莫拉 2 乌尔里希·富巴赫 2 克里斯托弗·林奇（Christopher A.Lynch）。 2 普莱斯特德，大卫·艾伦 2 斯蒂芬·舒尔茨 2 莎拉·温克勒 1 阿南塔拉曼，湿婆 1 迈克尔·比森。 1 Tour男孩，蒂埃里 1 帕斯卡·方丹 1 西尔维奥·吉拉尔迪 1 迈克尔·基扬（Michael K.Kinyon）。 1 恩里卡·尼科里尼 1 克里斯托夫·林盖森 1 维奥里卡Sofrone-Stokkerman 1 Stickel，Mark E。 1 杰夫·萨特克利夫 1 塞萨尔·蒂内利 1 张汉涛 1 丹尼尔·祖切利 全部的 前5名系列 12 自动推理杂志 6 符号计算杂志 2 数学与人工智能年鉴 2 ACM计算逻辑汇刊 2 计算机科学课堂讲稿 1 理论计算机科学 1 波兰数学年鉴。系列IV 1 逻辑程序设计杂志 1 信息与计算 1 逻辑与计算杂志 1 理论计算机科学电子笔记 领域 50 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 2 历史和传记（01-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用293中的次133文件 引用人▼ 年份▼ 基于重写的可满足性过程的新结果。 Zbl 1367.68243号 亚历山德罗·阿曼多；玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·兰伊斯；斯蒂芬·舒尔茨 32 2009 PSATO：分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号 张汉涛；玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 22 1996 关于通过带有推测推理的定理证明来确定可满足性。 Zbl 1243.68265号 玛丽亚·保拉（Maria Paola Bonacina）；克里斯托弗·林奇（Christopher A.Lynch）。；莱昂纳多·德·莫拉 20 2011 建立作为半决策程序的完成程序基础。 Zbl 0873.68107号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 15 1995 关于变量不活动性和多项式\（\mathcal T\）-可满足性过程。 Zbl 1144.03007号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 13 2008 抽象规范推理。 Zbl 1367.03023号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 12 2007 Nelson Oppen和基于重写的决策过程的可判定性和不可判定性结果。 Zbl 1222.03011号 玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·吉拉尔迪；恩里卡·尼科里尼；西尔维奥·兰伊斯；丹尼尔·祖切利 11 2006 理论证明策略的分类。 Zbl 0984.03011号 玛丽亚·保拉（Maria Paola Bonacina） 9 1999 递归数据结构的基于重写的可满足性过程。 Zbl 1277.68239号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 9 2007 通过分解进行理论决策。 Zbl 1192.68626号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 9 2010 关于定理证明中搜索的建模——走向策略分析理论。 Zbl 0927.68081号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 9 1998 语义引导的目标敏感推理：模型表示。 Zbl 1356.68180号 玛丽亚·保拉（Maria Paola Bonacina）；普莱斯特德，大卫·A。 9 2016 关于用（\mathrm{DPLL}（\Gamma+{mathcalT}）判定可满足性和不健全定理证明。 Zbl 1237.68176号 玛丽亚·保拉（Maria Paola Bonacina）；克里斯托弗·林奇；莱昂纳多·德·莫拉 8 2009 语义引导的目标敏感推理：推理系统和完整性。 Zbl 1437.68189号 玛丽亚·保拉（Maria Paola Bonacina）；普莱斯特德，大卫·A。 8 2017 自动演绎中地面证据的插值系统：一项调查。 Zbl 1356.68179号 玛丽亚·保拉（Maria Paola Bonacina）；莫阿·约翰逊 8 2015 基于一阶模型的推理。 Zbl 1322.03013号 玛丽亚·保拉（Maria Paola Bonacina）；乌尔里希·富巴赫；维奥里卡Sofrone-Stokkerman 8 2015 关于可满足性程序的重写方法：扩展、理论组合和实验评估。 兹比尔1171.68507 亚历山德罗·阿曼多；玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·兰伊斯；斯蒂芬·舒尔茨 7 2005 自动定理证明中的插值。 Zbl 1315.03018号 玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 7 2015 关于重写程序：语义和与PROLOG的关系。 Zbl 0754.68024号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 6 1992 演绎的并行策略分类。 Zbl 1001.68124号 玛丽亚·保拉（Maria Paola Bonacina） 6 2000 关于决策程序中的插值。 Zbl 1331.68198号 玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 6 2011 理论组合的冲突驱动可满足性：过渡系统和完备性。 Zbl 1468.68194号 玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 6 2020 可满足性模理论和赋值。 兹比尔1468.68193 玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 6 2017 经典地喇叭理论。 Zbl 1383.03042号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 5 2013 理论结合：超越平等分享。 Zbl 1443.68116号 玛丽亚·保拉（Maria Paola Bonacina）；帕斯卡·方丹；克里斯托夫·林盖森；塞萨尔·蒂内利 4 2019 关于基于完成的定理证明策略的公平性。 Zbl 1503.03016号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1991 分布式自动扣除中的公平性。 Zbl 0792.68160号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1993 对等网络中分布式搜索和多搜索的结合——mcd。d.（系统描述）。 Zbl 0988.68611号 玛丽亚·保拉（Maria Paola Bonacina） 三 2001 基于重写的决策程序。 Zbl 1277.68238号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 三 2007 自动扣除–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。 Zbl 1264.68002号 三 2013 关于分布定理证明中证明的重构：一种改进的克劳斯扩散方法。 Zbl 0864.68092号 玛丽亚·保拉（Maria Paola Bonacina） 三 1996 子句扩散的分布式演绎：分布式收缩和宝瓶座证明。 Zbl 0836.68105号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1995 \（{\mathcal{T}}）-分解决策。 兹比尔1213.68567 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 三 2007 分布式演绎的子句扩散方法。 Zbl 0839.68092号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 2 1995 自动等式推理在多值逻辑中的应用。 Zbl 1507.03084号 阿南塔拉曼，湿婆；玛丽亚·保拉（Maria Paola Bonacina） 2 1991 作为半决策程序的完成程序。 Zbl 1508.03039号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 2 1991 SGGS决策程序。 Zbl 07614522号 玛丽亚·保拉（Maria Paola Bonacina）；莎拉·温克勒 1 2020 拉里·沃斯：自动化推理的愿景。 Zbl 1511.68005号 迈克尔·比森；玛丽亚·保拉（Maria Paola Bonacina）；迈克尔·基扬；杰夫·萨特克利夫 1 2022 理论组合的冲突驱动可满足性：引理、模块和证明。 Zbl 07498608号 玛丽亚·保拉（Maria Paola Bonacina）；Graham Lengrand，Stéphane公司；Natarajan Shankar 1 2022 关于分布导数中的包含。 Zbl 0812.68110号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 1 1994 基于分布式搜索收缩策略的模型和首次分析。 Zbl 0940.68121号 玛丽亚·保拉（Maria Paola Bonacina） 1 1999 自动推理和数学。纪念威廉·麦库恩的散文。 Zbl 1259.68002号 1 2013 关联系统的规范推理。 Zbl 1165.03309号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 1 2008 走向理论证明中搜索的统一模型：子目标约简策略。 Zbl 1126.68071号 玛丽亚·保拉（Maria Paola Bonacina） 1 2005 拉里·沃斯：自动化推理的愿景。 Zbl 1511.68005号 迈克尔·比森；玛丽亚·保拉（Maria Paola Bonacina）；迈克尔·基扬；杰夫·萨特克利夫 1 2022 理论组合的冲突驱动可满足性：引理、模块和证明。 Zbl 07498608号 玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 1 2022 理论组合的冲突驱动可满足性：过渡系统和完备性。 Zbl 1468.68194号 玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 6 2020 SGGS决策程序。 兹伯利07614522 玛丽亚·保拉（Maria Paola Bonacina）；莎拉·温克勒 1 2020 理论结合：超越平等分享。 Zbl 1443.68116号 玛丽亚·保拉（Maria Paola Bonacina）；帕斯卡·方丹；克里斯托夫·林盖森；塞萨尔·蒂内利 4 2019 语义引导的目标敏感推理：推理系统和完整性。 Zbl 1437.68189号 玛丽亚·保拉（Maria Paola Bonacina）；普莱斯特德，大卫·A。 8 2017 可满足性模理论和赋值。 兹比尔1468.68193 玛丽亚·保拉（Maria Paola Bonacina）；圣菲省格拉汉·伦格兰德；Natarajan Shankar 6 2017 语义引导的目标敏感推理：模型表示。 Zbl 1356.68180号 玛丽亚·保拉（Maria Paola Bonacina）；普莱斯特德，大卫·A。 9 2016 自动演绎中地面证据的插值系统：一项调查。 Zbl 1356.68179号 玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 8 2015 基于一阶模型的推理。 Zbl 1322.03013号 玛丽亚·保拉（Maria Paola Bonacina）；乌尔里希·富巴赫；维奥里卡Sofrone-Stokkerman 8 2015 自动定理证明中的插值。 Zbl 1315.03018号 玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 7 2015 经典地喇叭理论。 Zbl 1383.03042号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 5 2013 自动扣款–CADE-24。2013年6月9日至14日在美国纽约州普莱西德湖举行的第24届自动扣减国际会议。诉讼程序。 Zbl 1264.68002号 三 2013 自动推理和数学。纪念威廉·麦库恩的散文。 兹比尔1259.68002 1 2013 关于通过带有推测推理的定理证明来确定可满足性。 Zbl 1243.68265号 玛丽亚·保拉（Maria Paola Bonacina）；克里斯托弗·林奇（Christopher A.Lynch）。；莱昂纳多·德·莫拉 20 2011 关于决策程序中的插值。 Zbl 1331.68198号 玛丽亚·保拉（Maria Paola Bonacina）；穆阿·约翰逊 6 2011 通过分解进行理论决策。 Zbl 1192.68626号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 9 2010 基于重写的可满足性过程的新结果。 Zbl 1367.68243号 亚历山德罗·阿曼多；玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·兰伊斯；斯蒂芬·舒尔茨 32 2009 关于用（\mathrm{DPLL}（\Gamma+{mathcalT}）判定可满足性和不健全定理证明。 Zbl 1237.68176号 玛丽亚·保拉（Maria Paola Bonacina）；克里斯托弗·林奇；莱昂纳多·德·莫拉 8 2009 关于变量无活性和多项式（mathcal T）可满足性过程。 Zbl 1144.03007号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 13 2008 关联系统的规范推理。 Zbl 1165.03309号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 1 2008 抽象规范推理。 Zbl 1367.03023号 玛丽亚·保拉（Maria Paola Bonacina）；纳鸿·德肖维茨 12 2007 递归数据结构的基于重写的可满足性过程。 兹比尔1277.68239 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 9 2007 基于重写的决策程序。 Zbl 1277.68238号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 三 2007 \（{\mathcal{T}}）-分解决策。 Zbl 1213.68567号 玛丽亚·保拉（Maria Paola Bonacina）；穆纳乔·埃切宁 三 2007 Nelson-Oppen和基于重写的决策程序的可决定性和不可决定性结果。 Zbl 1222.03011号 玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·吉拉尔迪；恩里卡·尼科里尼；西尔维奥·兰伊斯；丹尼尔·祖切利 11 2006 关于可满足性程序的重写方法：扩展、理论组合和实验评估。 兹比尔1171.68507 亚历山德罗·阿曼多；玛丽亚·保拉（Maria Paola Bonacina）；西尔维奥·兰伊斯；斯蒂芬·舒尔茨 7 2005 走向理论证明中搜索的统一模型：子目标约简策略。 Zbl 1126.68071号 玛丽亚·保拉（Maria Paola Bonacina） 1 2005 对等网络中分布式搜索和多搜索的结合——mcd。d.（系统描述）。 Zbl 0988.68611号 玛丽亚·保拉（Maria Paola Bonacina） 三 2001 演绎的并行策略分类。 Zbl 1001.68124号 玛丽亚·保拉（Maria Paola Bonacina） 6 2000 理论证明策略的分类。 Zbl 0984.03011号 玛丽亚·保拉（Maria Paola Bonacina） 9 1999 分布式搜索收缩策略的模型和首次分析。 Zbl 0940.68121号 玛丽亚·保拉（Maria Paola Bonacina） 1 1999 关于定理证明中搜索的建模——走向策略分析理论。 Zbl 0927.68081号 玛丽亚·保拉（Maria Paola Bonacina）；项杰 9 1998 PSATO：分布式命题证明器及其在拟群问题中的应用。 Zbl 0863.68013号 张汉涛；玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 22 1996 关于分布定理证明中证明的重构：一种改进的克劳斯扩散方法。 兹比尔0864.68092 玛丽亚·保拉（Maria Paola Bonacina） 三 1996 建立作为半决策程序的完成程序基础。 Zbl 0873.68107号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 15 1995 子句扩散的分布式演绎：分布式收缩和宝瓶座证明。 Zbl 0836.68105号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1995 分布式演绎的子句扩散方法。 Zbl 0839.68092号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 2 1995 关于分布导数中的包含。 Zbl 0812.68110号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 1 1994 分布式自动扣除中的公平性。 Zbl 0792.68160号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1993 关于重写程序：语义和与PROLOG的关系。 Zbl 0754.68024号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 6 1992 基于完备性的定理证明策略的公平性。 兹比尔1503.03016 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 三 1991 自动等式推理在多值逻辑中的应用。 Zbl 1507.03084号 阿南塔拉曼，湿婆；玛丽亚·保拉（Maria Paola Bonacina） 2 1991 作为半决策程序的完成程序。 Zbl 1508.03039号 玛丽亚·保拉（Maria Paola Bonacina）；Jieh乡 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名202位作者引用 25 玛丽亚·保拉（Maria Paola Bonacina） 11 克里斯托夫·林盖森 9 克里斯托夫·韦登巴赫 6 穆纳乔·埃切宁 6 帕斯卡·方丹 5 纳鸿·德肖维茨 5 恩里卡·尼科里尼 5 西尔维奥·兰伊斯 5 米歇尔·鲁西诺维奇 4 莱昂纳多·德·莫拉 4 Jieh乡 4 迪帕克·卡普尔 4 索菲·托雷特 三 阿南塔拉曼，湿婆 三 克拉克·W·巴雷特。 三 贾斯敏·克里斯蒂安·布兰切特 三 Paula Chocron 三 西尔维奥·吉拉尔迪 三 圣菲省格拉汉·伦格兰德 三 穆阿·约翰逊 三 克洛德·基什内尔 三 克里斯托弗·林奇（Christopher A.Lynch）。 三 尼古拉斯·佩尔蒂埃 三 普莱斯特德，大卫·艾伦 三 理查德·吉尔斯 三 维奥里卡Sofrone-Stokkerman 三 德坎·特兰 三 安德烈·沃伦科夫 2 尤尔根阿文豪斯 2 克里斯托夫·埃瓦尔德·本兹穆勒 2 Franz Brauße 2 罗伯特·布鲁托梅索 2 加布里埃尔·埃布纳 2 托马斯·希伦布兰德 2 伯纳德·尤尔科维亚克 2 迈克尔·基扬（Michael K.Kinyon）。 2 康斯坦丁·科洛文 2 玛格丽塔·弗拉基米罗夫娜·科罗维纳 2 叶夫根·克鲁格洛夫（Evgeni Kruglov）ĭ瓦伦蒂诺维奇（Valentinovich） 2 简·兰格 2 亨德里克·莱丁格 2 李楚敏 2 Müller，Norbert Th。 2 贾尔斯·里格尔 2 Natarajan Shankar 2 盛英 2 沃尔克·索尔格 2 约瑟夫·乌尔班 2 吉尔·乌塔德 2 罗伯特·韦洛夫 2 莎拉·温克勒 2 奥列格·谢尔盖维奇·扎金 2 尤尼·佐哈尔 2 丹尼尔·祖切利 1 坦比尔·艾哈迈德 1 马克·艾吉尔 1 恩斯特·奥尔特豪斯 1 亚历山德罗·阿曼多 1 苏海卜·巴里尔 1 彼得·贝克曼 1 戴安·巴赫拉米 1 托马斯·巴利奥 1 穆苏诺里·班巴拉 1 彼得·鲍姆加特纳 1 迈克尔·比森。 1 尼古拉·S·比约纳。 1 沃尔夫冈·布隆金格 1 Böhme，萨沙 1 布齐安·欣德·莉莉亚 1 布洛克-南内斯塔德，陶斯 1 乍得·布朗·爱德华 1 纪尧姆·伯勒 1 朱莉·凯勒 1 克里斯托夫·塞林 1 考斯托夫·乔杜里 1 陈树伟 1 Cheng，Xi（西成） 1 杰根，基督 1 亚历山德罗·西马蒂 1 大卫·德拉哈耶 1 约尔格登津格 1 吉尔·迪肯 1 布鲁诺·杜特雷 1 安德烈亚斯·艾格斯 1 阿诺德·菲埃茨克 1 阿尔贝托·菲奥里 1 安德斯·弗朗森 1 乌尔里希·富巴赫 1 哈拉尔德·甘辛格 1 马丁·格布瑟 1 吉多省盖拉尔迪 1 亚历山德罗·吉亚诺拉 1 阿尔贝托·格里乔 1 何兴兴 1 Heule，Marijn J.H。 1 彼得·希布斯 1 Jochen Hoenicke公司 1 黄成超 1 安蒂·E·J·海瓦·里宁。 1 何塞·伊波拉 …还有102位作者 全部的 前5名26篇连载文章中引用 33 自动推理杂志 5 理论计算机科学 5 信息与计算 4 符号计算杂志 2 离散应用数学 2 数学与人工智能年鉴 2 约束条件 2 逻辑程序设计理论与实践 2 ACM计算逻辑汇刊 2 计算机科学中的数学 2 计算机科学中的逻辑方法 1 人工智能 1 信息科学 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 国际并行程序设计杂志 1 系统设计中的形式化方法 1 优化方法和软件 1 数学学报。英语系列 1 国际应用数学与计算机科学杂志 1 系统科学与复杂性杂志 1 应用逻辑杂志 1 泛逻辑 1 国际语义计算杂志 1 形式化数学 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 124 计算机科学（68至XX） 56 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 三 群论与推广（20-XX） 2 历史和传记（01-XX） 2 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文