编辑配置文件（在新选项卡中打开） 威廉·克利伯 合著者距离 作者ID： 克利伯·威廉 发布日期： 威廉·克利伯；W.克利伯。 已编制索引的文档： 5出版物自2006年起 合著者： 6位合著者具有4联合出版物 262合著作者 全部的 前5名合著者 1 单作者的 三 克拉克（Edmund Melson jun Clarke）。 2 米科拉什·亚诺塔 2 Joáo P.塞尔瓦侯爵。 1 高思春 1 里维埃，Beatrice M。 1 萨米尔·萨普拉 系列 1 人工智能 1 应用力学与工程中的计算机方法 1 可满足性、布尔建模与计算杂志 领域 4 计算机科学（68至XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用106中的次86文件 引用人▼ 年份▼ 用间断Galerkin方法对两相流进行自适应模拟。 Zbl 1120.76327号 W.克利伯。；里维埃，B。 34 2006 使用反例引导的精化来解决QBF。 Zbl 1273.68178号 米科拉什·亚诺塔；威廉·克利伯；若昂·西尔瓦侯爵；埃德蒙·克拉克 29 2012 使用反例引导的精化来解决QBF。 Zbl 1351.68254号 米科拉什·亚诺塔；威廉·克利伯；若昂·西尔瓦侯爵；埃德蒙·克拉克 23 2016 具有游戏状态学习功能的非Renex、非子句QBF解算器。 Zbl 1306.68161号 威廉·克利伯；萨米尔·萨普拉；高思春；埃德蒙·克拉克 19 2010 幽灵Q。系统描述。 Zbl 1484.68221号 威廉·克利伯 1 2019 幽灵Q。系统描述。 Zbl 1484.68221号 威廉·克利伯 1 2019 使用反例引导的精化来解决QBF。 Zbl 1351.68254号 米科拉什·亚诺塔；威廉·克利伯；若昂·西尔瓦侯爵；埃德蒙·克拉克 23 2016 使用反例引导的精化来解决QBF。 Zbl 1273.68178号 米科拉什·亚诺塔；威廉·克利伯；若昂·西尔瓦侯爵；埃德蒙·克拉克 29 2012 具有游戏状态学习功能的非Renex、非子句QBF解算器。 Zbl 1306.68161号 威廉·克利伯；萨米尔·萨普拉；高思春；埃德蒙·克拉克 19 2010 用间断Galerkin方法对两相流进行自适应模拟。 Zbl 1120.76327号 W.克利伯。；里维埃，B。 34 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名被159位作者引用 8 奥拉夫·拜尔斯多夫 8 马蒂娜·塞德尔 5 乔舒亚·布林霍恩 5 弗里德里希·斯利沃夫斯基 4 勒罗伊·周 4 米科拉什·亚诺塔 4 罗伯特·科伦 4 弗洛里安·朗辛 4 米纳·马哈扬 4 Joáo P.塞尔瓦侯爵。 4 里维埃，Beatrice M。 4 Leander Tentrup公司 三 阿尔伯特·科斯塔·索莱 三 安德烈亚斯·德纳。 三 埃格利，乌韦 三 哈米德·雷扎·加福里 三 马蒂·Järvisalo 三 埃洛伊Ruiz-Gironés 三 约塞普·萨拉特 三 克里斯托夫·斯科尔 三 斯泽德，斯特凡 2 史蒂文·奥尔马拉斯。 2 里贾纳·C·阿尔梅达。 2 娜塔莉亚·阿鲁达。 2 Darmofal，David L。 2 亚历山大·恩 2 伯恩德·芬克贝纳 2 马歇尔·加尔布雷思（Marshall C.Galbraith）。 2 梅赫迪，杰米 2 萨维瑟·贾亚辛哈 2 蒋洁红·罗兰 2 凯恩·比兰·凯恩 2 威廉·克利伯 2 维克多·昆卡 2 安德烈亚斯·尼斯卡宁 2 汤姆·佩特尔 2 卢卡·普利纳 2 马库斯·拉贝。 2 安德鲁·雷诺兹 2 范·盖尔德，艾伦 2 约翰·彼得·沃纳 2 玛丽·法内特·惠勒 2 拉尔夫·维默（Ralf D.Wimmer）。 2 斯特凡·沃尔特兰 1 乔瓦尼·阿蒙多拉 1 瓦莱里·巴拉巴诺夫 1 穆苏诺里·班巴拉 1 克拉克·W·巴雷特。 1 彼得·巴斯蒂安 1 贝恩德·贝克尔 1 杰里米亚斯·伯格 1 阿明·比尔 1 罗德里克·布洛姆 1 尼古拉斯·布劳德·桑托尼 1 罗伯特·K·布雷顿。 1 Randal E.布莱恩特。 1 尼古拉斯·K·伯吉斯。 1 蔡晓川 1 陈杰 1 陈章欣 1 陈志云 1 克拉克（Edmund Melson jun Clarke）。 1 朱迪思·克莱莫 1 Deters，摩根 1 斯蒂芬·迪贝尔斯 1 丹尼·多列夫 1 贾斯汀·东 1 埃里克·道 1 布莱恩·多伊尔 1 杜特拉·多·卡莫、爱德华多·戈麦斯 1 沃尔夫冈·德沃亚克 1 奥米德·埃希特哈迪 1 穆斯塔法·奥斯马尼 1 叶卡捷琳娜·爱泼斯坦 1 Fahs，马尔旺 1 彼得·费蒙维尔 1 文森特·方丹 1 艾尔·格恩斯特 1 克里斯托夫·格斯巴赫 1 维达德·哈季奇 1 赫金·哈布什，杰斯科 1 西蒙·海辛格 1 凯乔·赫尔扬科 1 Heule，Marijn J.H。 1 卢克·欣德 1 侯江永 1 徐子建 1 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 1 马克西姆·伊万诺夫。 1 乔沙加尼，M.S。 1 巴伦特卡拉舍岑 1 戴维·埃利奥特·凯斯 1 萨马内·科达亚里·萨姆加巴迪 1 本杰明·基尔 1 金，蒂姆 1 拉多斯·奥·克里梅克 1 Janne H.Korhonen。 1 卡雷尔·科瓦伊克 1 Igor’A.Kremer。 1 马丁·克罗内格 …还有59位作者 全部的 前5名28篇连载文章中引用 6 人工智能 6 应用力学与工程中的计算机方法 6 计算地球科学 5 自动推理杂志 三 计算物理杂志 三 系统设计中的形式化方法 三 可满足性、布尔建模与计算杂志 2 理论计算机科学 2 科学计算杂志 2 国际热流数值方法杂志 2 边界元工程分析 2 计算机科学中的逻辑方法 1 计算机和流体 1 信息处理信件 1 计算与应用数学杂志 1 计算机与系统科学杂志 1 模拟中的数学和计算机 1 应用数值数学 1 应用数学建模 1 SIAM科学计算杂志 1 数学与人工智能年鉴 1 约束条件 1 计算系统理论 1 国际计算流体动力学杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 GEM-国际地球数学杂志 1 程序设计中的逻辑和代数方法杂志 1 应用数学与计算交流 全部的 前5名11个领域引用 48 计算机科学（68至XX） 31 流体力学（76-XX） 24 数值分析（65-XX） 18 数学逻辑和基础（03-XX） 7 偏微分方程（35-XX） 三 地球物理学（86-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文