编辑配置文件（在新选项卡中打开） 贝尔托利 合著者距离 作者ID： 贝托利·皮耶佐尔吉奥 发布日期： 贝尔托利;伯托利，P。 已编制索引的文档： 12出版物自1997年起 合著者： 15位合著者具有10份联合出版物 300名合作作者 全部的 前5名合著者 0 单作者的 6 亚历山德罗·西马蒂 三 马可·罗维里 2 娜塔莎·亚历奇纳 2 吉尔·奥德玛 2 吉迪尼，奇亚拉 2 阿图尔·科尔尼·奥维茨 2 布赖恩·洛根 2 罗伯托·塞巴斯蒂亚尼 2 保罗·特拉弗索 1 亚历山大·阿尔博尔 1 马可·波扎诺 1 吉安娜·乔尼 1 亚历山德罗·科利奥 1 阿提里奥·科拉格罗西 1 福斯托·金奇利亚 1 马尔特·赫尔默特 1 霍夫曼，约格 1 马克·贾戈 1 马可·皮斯托雷 1 卢西亚诺·塞拉菲尼 1 特利齐，P。 系列 2 人工智能 1 人工智能研究杂志 领域 12 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用57中的次48文件 引用人▼ 年份▼ 基于SAT的布尔和线性数学命题公式求解方法。 Zbl 1072.68562号 吉尔·奥德玛;贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 16 2002 通过符号模型检查和启发式搜索进行一致性规划。 Zbl 1086.68591号 A.西马蒂。;M.罗维里。;伯托利，P。 16 2004 部分可观测性下的强规划。 Zbl 1131.68095号 贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 15 2006 验证资源有限的代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;贝尔托利;吉迪尼，奇亚拉;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 通过结合显式状态和符号模型检查来搜索功率集自动机。 Zbl 0978.68546号 亚历山德罗·西马蒂;马可·罗维里;贝尔托利 三 2001 基于消息的web服务组合、完整性约束和不确定性下的规划：新连接。 Zbl 1184.68072号 霍夫曼，J。;伯托利，P。;M.赫尔默特。;M·皮斯托尔。 2 2009 集成布尔运算和数学求解：基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 1 2002 OMRS项目：最新技术。 Zbl 0917.68175号 福斯托·金奇利亚;贝尔托利;亚历山德罗·科利奥 1 1998 基于消息的web服务组合、完整性约束和不确定性下的规划：新连接。 Zbl 1184.68072号 霍夫曼，J。;伯托利，P。;M.赫尔默特。;M·皮斯托尔。 2 2009 验证资源有限的代理的空间和时间要求。 Zbl 1196.68284号 娜塔莎·亚历奇纳;贝尔托利;吉迪尼，奇亚拉;马克·贾戈;布赖恩·洛根;卢西亚诺·塞拉菲尼 5 2007 部分可观测性下的强规划。 Zbl 1131.68095号 贝尔托利;亚历山德罗·西马蒂;马可·罗维里;保罗·特拉弗索 15 2006 通过符号模型检查和启发式搜索进行一致性规划。 Zbl 1086.68591号 A.西马蒂。;M.罗维里。;伯托利，P。 16 2004 一种基于SAT的方法，用于解决布尔和线性数学命题上的公式。 Zbl 1072.68562号 吉尔·奥德玛;贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 16 2002 集成布尔运算和数学求解：基础、基本算法和要求。 Zbl 1072.68603号 吉尔·奥德玛;贝尔托利;亚历山德罗·西马蒂;阿图尔·科尔尼·奥维茨;罗伯托·塞巴斯蒂亚尼 1 2002 通过结合显式状态和符号模型检查来搜索功率集自动机。 Zbl 0978.68546号 亚历山德罗·西马蒂;马可·罗维里;贝尔托利 三 2001 OMRS项目：最新技术。 Zbl 0917.68175号 福斯托·金奇利亚;贝尔托利;亚历山德罗·科利奥 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名110位作者引用 4 亚历山德罗·西马蒂 4 斯特里赫曼（Ofer Strichman） 三 马可·罗维里 三 罗伯托·塞巴斯蒂亚尼 三 保罗·特拉弗索 2 娜塔莎·亚历奇纳 2 瓦夏克·贝勒 2 贝尔托利 2 克劳迪奥·卡斯泰里尼 2 恩里科Giunchilia 2 丹尼尔·科宁 2 乌古尔·库特 2 布赖恩·洛根 2 瑙，达纳 2 马可·皮斯托雷 2 阿卜杜尔·拉基布 2 儿子Tran Cao 1 艾丽卡·阿尔布拉汉姆 1 罗恩·阿尔福德 1 哈桑·阿姆贾德 1 亚历山德罗·阿曼多 1 巴哈雷赫巴德班 1 克拉克·W·巴雷特。 1 Farokh B.巴斯塔尼。 1 金·鲍特斯 1 贝恩德·贝克尔 1 本·拉比，拉姆齐 1 布莱·博内 1 马可·波扎诺 1 罗恩·布拉夫曼（Ronen I。Brafman）。 1 罗伯特·布鲁托梅索 1 西蒙·巴斯德 1 安德烈斯·卡尔德隆·贾拉米洛 1 玛丽亚·克利 1 马丁·德·科克 1 罗尔夫·德雷克斯勒 1 吕迪格·埃本特 1 托马斯·艾特 1 法扎尼·法哈迪 1 马丁·范策尔 1 傅继成 1 高莉，科比 1 马丁·格布瑟 1 赫克托·杰夫纳 1 迈克尔·盖尔芬德 1 罗曼·格什曼 1 罗伯特·戈德曼。 1 阿尔班·格雷斯廷 1 阿尔贝托·格里乔 1 顾天龙 1 马克·赫伯斯特里特 1 克里斯蒂安·赫尔德 1 霍夫曼，约格 1 汤米·詹胡宁 1 尼古拉斯·R·詹宁斯。 1 汤米·A·琼蒂拉。 1 迈尔·卡拉奇 1 玛雅·科夫曼 1 塞巴斯蒂安·科尼埃奇尼 1 杰罗姆·朗 1 李彦军 1 刘华东 1 马可·马拉提亚 1 皮埃尔·侯爵 1 马丁·奥列特，纳西索 1 安德烈亚斯·梅耶 1 何塞·梅塞盖尔·瓜伊塔 1 鲁斯·米尔斯基 1 A.里卡多·莫拉莱斯 1 Ng，Vincent T.Y。 1 阮黄雅（Nguyen Hoang Nga） 1 Nguyen、Hoang Nga 1 罗伯特·纽文胡斯 1 马塞洛·奥格利蒂 1 阿尔伯特·奥利弗拉斯 1 查尔斯·佩彻 1 Phan，Quoc-Sang先生 1 恩里科·蓬泰利 1 尤西·林塔南 1 约夫·罗德 1 阿卜杜拉沙非定 1 泽尼普·戈岑·萨里巴特 1 恩里科·斯卡拉 1 史蒂文·肖卡特 1 斯蒂芬·舒尔茨 1 弗朗索瓦州施瓦岑特鲁伯 1 伊莱·辛格曼 1 沃尔克·索尔格 1 马丁·斯特芬 1 罗尼·斯特恩 1 阿曼多·塔切拉 1 塞萨尔·蒂内利 1 阿什什·库马尔·蒂瓦里 1 致，Son Thanh 1 西尔维娅·托马西 1 斯特凡诺·托内塔 1 拉兹洛·特雷斯凯 1 Tu，Phan Huy先生 1 奥尔加·特维雷蒂纳 1 范德波尔，扬·科内利斯 …还有10位作者 全部的 前5名12篇连载文章中引用 16 人工智能 5 系统设计中的形式化方法 三 信息与计算 三 自动推理杂志 2 国际近似推理杂志 1 哲学逻辑杂志 1 合成 1 理论计算机科学 1 计算的形式方面 1 人工智能研究杂志 1 数学与人工智能年鉴 1 应用逻辑杂志 全部的 前5名在6个字段中引用 48 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 一般性和全局性主题；集合（00-XX） 1 场论和多项式（12-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文