编辑配置文件(在新选项卡中打开) 潘国强 合著者距离 作者ID: 潘国强 发布日期: 潘国强 编入索引的文档: 9出版物自1995年起 合著者: 3位合著者具有7联合出版物 211合作作者 全部的 前5名合著者 0 单作者的 7 莫西·亚亚科夫·瓦尔迪 2 乌尔里克·萨特勒 1 Satya N.阿特卢里。 1 安德烈亚·费拉拉 1 库拉提拉克,Pinnaduwa H.S.W。 1 嗯,J.G。 系列 1 国际固体与结构杂志 1 国际工程数值方法杂志 1 自动推理杂志 1 应用非经典逻辑杂志 领域 7 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 可变形固体力学(74-XX) 1 测量和集成(28-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用45中的次43文件 引用人▼ 年份▼ 验证中的树宽:本地与全局。 Zbl 1143.68450号 安德烈亚·费拉拉;潘国强;莫舍·瓦尔迪。 12 2005 基于BDD的模态逻辑决策程序K. Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 QBF的符号决策程序。 Zbl 1152.68570号 潘国强;莫舍·瓦尔迪。 9 2004 可满足性求解中的符号技术。 兹比尔1109.68104 潘国强;莫舍·瓦尔迪。 5 2005 可满足性求解中的搜索与符号技术。 Zbl 1122.68613号 潘国强;莫舍·瓦尔迪。 5 2005 优化基于BDD的模态解算器。 Zbl 1278.68277号 潘国强;莫舍·瓦尔迪。 三 2003 移动荷载作用下有限尺寸弹性跑道的动态响应:边界元/有限元耦合方法。 Zbl 0842.73074号 潘,G。;南卡罗莱纳州阿特卢里。 三 1995 基于BDD的模态逻辑决策程序K. Zbl 1184.68466号 潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 11 2006 验证中的树宽:本地与全局。 Zbl 1143.68450号 安德烈亚·费拉拉;潘国强;莫舍·瓦尔迪。 12 2005 可满足性求解中的符号技术。 Zbl 1109.68104号 潘国强;莫舍·瓦尔迪。 5 2005 可满足性求解中的搜索与符号技术。 Zbl 1122.68613号 潘国强;莫舍·瓦尔迪。 5 2005 QBF的符号决策程序。 Zbl 1152.68570号 潘国强;莫舍·瓦尔迪。 9 2004 优化基于BDD的模态解算器。 Zbl 1278.68277号 潘国强;莫舍·瓦尔迪。 三 2003 移动荷载作用下有限尺寸弹性跑道的动态响应:边界元/有限元耦合方法。 Zbl 0842.73074号 潘,G。;南卡罗莱纳州阿特卢里。 三 1995 所有引用出版物 前5名被引用出版物 全部的 前5名85位作者引用 4 克莱尔·狄克逊 4 乌尔里希·赫斯塔特 4 Cláudia Nalon 三 Randal E.布莱恩特。 三 Heule,Marijn J.H。 三 Dmitry M.Itsykson。 三 伊戈尔·拉兹贡 2 Samuel R.巴斯。 2 塞尔吉奥·弗莱斯卡 2 拉杰夫·普拉巴卡尔·戈尔 2 亚历山大·诺普 2 Joáo P.塞尔瓦侯爵。 2 斯特凡·门格尔 2 法比奥·帕帕奇尼 2 弗朗切斯科·帕里西 2 卢卡·普利纳 2 马蒂娜·塞德尔 2 弗里德里希·斯利沃夫斯基 2 德米特里·索科列夫 2 塔切拉,阿曼多 2 莫西·亚亚科夫·瓦尔迪 2 弗洛里安·维德曼 1 彼得罗·阿巴特 1 阿尔伯特·阿塞里亚斯 1 罗兰·阿克塞尔森 1 Barnett,Lee A。 1 阿明·比尔 1 玛丽亚·路易莎·博内 1 西蒙·波娃 1 佛罗伦萨卡佩利 1 陈,宋 1 陈伟 1 克拉克(Edmund Melson jun Clarke)。 1 达莫塔,贝诺特 1 杰弗里·杜德克。 1 埃格利,乌韦 1 托马斯·艾特 1 贝蒂娜·法辛加 1 傅军 1 菲利波·富法罗 1 杰奈维斯,皮埃尔 1 尼尔斯·盖斯伯特 1 卢德米拉·格林斯基 1 阿米尔·卡夫什达尔·戈哈沙迪 1 斯迪恩·海曼斯 1 阿列克谢·伊格纳提耶夫(Alexey A.Ignatyev)。 1 米科拉什·亚诺塔 1 王建安 1 朱世光 1 周俊平 1 曼努埃尔·考尔斯 1 乌韦·凯勒 1 威廉·克利伯 1 帕斯卡·科伊兰 1 马丁·兰格 1 纳比尔·拉伊达 1 刘志峰 1 卡斯滕·卢茨 1 安东·利科夫 1 克劳斯·米尔 1 尹明浩 1 西比尔·莫勒 1 安托尼奥·莫尔加多 1 塞尔吉·奥利瓦 1 马格达莱娜·奥尔蒂斯 1 潘国强 1 Vu H.N.Phan。 1 安德烈·罗马什琴科 1 马克西米利安·施莱奇 1 阿兰·施密特 1 安吉特·舒克拉 1 西蒙库斯,曼塔斯 1 伊戈尔·斯特芬 1 丹·米尔恰·苏秋 1 谭红燕 1 大卫·托曼 1 古莱,Unel 1 范登·布勒克,盖伊 1 苏卫华 1 斯特凡·沃尔特兰 1 吴海玲 1 吴金钊 1 艾哈迈德·哈利德·扎赫尔 1 张文辉 1 周从华 全部的 前5名13篇连载文章中引用 三 自动推理杂志 三 计算系统理论 三 ACM计算逻辑事务 2 人工智能 2 计算机与系统科学杂志 2 约束条件 2 工程中的数学问题 1 信息处理信件 1 符号逻辑杂志 1 算法 1 人工智能研究杂志 1 科学中国。信息科学 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 43 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文