编辑配置文件（在新选项卡中打开） 范盖尔德，艾伦 合著者距离 作者ID： 范·盖尔德·艾伦 发布日期： 范盖尔德，艾伦；范·盖尔德，艾伦；Van Gelder，A。；范·盖尔德，A。 更多。。。较少的 主页： https://users.soe.ucsc.edu/~平均值/ 外部链接： MGP公司 已编制索引的文档： 46出版物自1977年起 1名编辑贡献 合著者： 17合著者具有19联合出版物 326位合作作者 全部的 前5名合著者 28 单作者的 三 弗洛里安·朗辛 三 福美崎大树 2 大俊公园 2 约翰·斯图尔特·施利普夫 2 杰夫·萨特克利夫 2 简·威廉 1 科恩·克莱森 1 埃格利，乌韦 1 约翰·V·佛朗哥。 1 马蒂·Järvisalo 1 Kenneth A.Ross。 1 斯蒂芬·舒尔茨 1 马蒂娜·塞德尔 1 Ivor T.A.斯彭斯。 1 Yumi K.Tsuji。 1 杰弗里·戴维·乌尔曼 1 塞缪尔·伍德（Samuel B.Wood）。 全部的 前5名系列 6 数学与人工智能年鉴 5 逻辑程序设计杂志 三 离散应用数学 2 信息与计算 1 人工智能 1 电气电子工程师学会计算机期刊 1 计算机协会杂志 1 计算机与系统科学杂志 1 编程与计算机软件 1 ACM图形事务 1 算法 1 自动推理杂志 1 ACM通信 1 计算机科学课堂讲稿 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 45 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 三 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用590中的次511文件 引用人▼ 年份▼ 通用逻辑程序的基础良好的语义。 Zbl 0799.68045号 范盖尔德，艾伦；Kenneth A.Ross。；约翰·施利普夫（John S.Schlipf）。 278 1991 对一般逻辑程序使用严格推导作为失败的否定。 兹比尔0726.68065 范·盖尔德，A。 35 1988 对实用量化布尔公式求解理论的贡献。 Zbl 1390.68585号 范盖尔德，艾伦 29 2012 带有否定的逻辑程序的交替不动点。 Zbl 0793.68039号 范盖尔德，艾伦 28 1993 透视某些多项式时间可解的可满足类。 Zbl 1012.68085号 约翰·佛朗哥；范盖尔德，艾伦 26 2003 逻辑查询程序的并行复杂性。 Zbl 0646.68062号 杰弗里·乌尔曼。；范·盖尔德，艾伦 18 1988 用更多的推理和更少的猜测进行满意度测试。 Zbl 0868.03007号 范盖尔德，艾伦；Yumi K.Tsuji。 17 1996 通过命题可满足性再看图着色。 Zbl 1131.05090号 范盖尔德，艾伦 14 2008 对一般逻辑程序使用严格推导作为失败的否定。 兹伯利0668.68108 范·盖尔德，艾伦 13 1989 使用TPTP公司用于编写派生词和有限解释的语言。 Zbl 1222.68373号 杰夫·萨特克利夫；舒尔茨，斯蒂芬；科恩·克莱森；范盖尔德，艾伦 12 2006 八叉树用于更快的等值面生成。 Zbl 0766.68020号 简·威廉；范·盖尔德，艾伦 11 1992 量化布尔公式的变量独立性和解析路径。 Zbl 1273.68188号 范盖尔德，艾伦 11 2011 在可满足性求解器中实现更精简的二进制子句推理。 Zbl 1099.68097号 范盖尔德，艾伦 10 2005 非子句命题演算的可满足性测试仪。 Zbl 0658.68107号 范·盖尔德，艾伦 9 1988 PROLOG中使用龟兔技术的高效环路检测。 Zbl 0608.68006号 范·盖尔德，艾伦 8 1987 命题模型消除中的Autarky剪枝减少了故障冗余。 Zbl 0939.68108号 范盖尔德，艾伦 8 1999 通过QBF伪单位传播实现量化布尔公式的高效子句学习。 Zbl 1390.68579号 弗洛里安·朗辛；埃格利，乌韦；范盖尔德，艾伦 8 2013 池解析及其与常规解析和DPLL与子句学习的关系。 Zbl 1143.68582号 范盖尔德，艾伦 8 2005 产生并验证超大命题反驳。 Zbl 1273.68329号 范盖尔德，艾伦 6 2012 通过自动分析器生成将TPTP语言扩展到高阶逻辑。 Zbl 1222.68375号 范盖尔德，艾伦；杰夫·萨特克利夫 6 2006 QBF画廊：幕后。 Zbl 1357.68209号 弗洛里安·朗辛；马蒂娜·塞德尔；范盖尔德，艾伦 6 2016 逻辑程序的常识公理化。 Zbl 0798.68030号 范盖尔德，艾伦；约翰·施利普夫（John S.Schlipf）。 4 1993 量化布尔公式的扩展失效线性预处理。 Zbl 1273.68189号 范盖尔德，艾伦；塞缪尔·伍德（Samuel B.Wood）。；弗洛里安·朗辛 三 2012 非子句命题演算的可满足性测试仪。 Zbl 0546.68074号 范·盖尔德，艾伦 三 1984 命题模型消除的引理和切割策略。 Zbl 0940.68119号 范盖尔德，艾伦；福美崎大树 2 1999 在可满足性求解器中结合前序和后序解析。 Zbl 0990.90534号 范盖尔德，艾伦 2 2001 对具有超时和平局的多个解算器进行仔细排名。 Zbl 1331.68213号 范盖尔德，艾伦 2 2011 可满足解的广义冲突子句强化。 Zbl 1330.68278号 范盖尔德，艾伦 2 2011 大型公式可满足性测试的分区方法。 Zbl 1412.68252号 大俊公园；范盖尔德，艾伦 2 1996 零一设计产生小的硬SAT实例。 Zbl 1306.68177号 范盖尔德，艾伦；象牙色斯彭斯 2 2010 Contrasat–逆向SAT解决方案。 Zbl 1322.68188号 范·盖尔德，艾伦 2 2014 大型公式可满足性测试的分区方法。 Zbl 1003.68148号 大俊公园；范盖尔德，艾伦 1 2000 带有自闭剪枝的命题分解的复杂性分析。 Zbl 0937.68150号 范盖尔德，艾伦 1 1999 满意度测试的理论和应用——2013年SAT。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。 Zbl 1268.68023号 1 2013 PRAM处理器分配：亚对数算法中的一个隐藏瓶颈。 Zbl 0666.68040号 范盖尔德，艾伦 1 1989 推导逻辑程序中参数大小之间的约束。 Zbl 0875.68237号 范盖尔德，艾伦 1 1991 QBF画廊：幕后。 Zbl 1357.68209号 弗洛里安·朗辛；马蒂娜·塞德尔；范盖尔德，艾伦 6 2016 Contrasat–逆向SAT解决方案。 Zbl 1322.68188号 范·盖尔德，艾伦 2 2014 通过QBF伪单位传播实现量化布尔公式的高效子句学习。 Zbl 1390.68579号 弗洛里安·朗辛；埃格利，乌韦；范盖尔德，艾伦 8 2013 满意度测试的理论和应用——2013年SAT。第16届国际会议，芬兰赫尔辛基，2013年7月8-12日。诉讼程序。 Zbl 1268.68023号 1 2013 对实用量化布尔公式求解理论的贡献。 Zbl 1390.68585号 范盖尔德，艾伦 29 2012 产生并验证超大命题反驳。 Zbl 1273.68329号 范盖尔德，艾伦 6 2012 量化布尔公式的扩展失效线性预处理。 Zbl 1273.68189号 范盖尔德，艾伦；塞缪尔·伍德（Samuel B.Wood）。；弗洛里安·朗辛 三 2012 量化布尔公式的变量独立性和解析路径。 Zbl 1273.68188号 范盖尔德，艾伦 11 2011 对具有超时和平局的多个解算器进行仔细排序。 Zbl 1331.68213号 范盖尔德，艾伦 2 2011 可满足解的广义冲突子句强化。 Zbl 1330.68278号 范盖尔德，艾伦 2 2011 零一设计产生小型硬SAT实例。 Zbl 1306.68177号 范盖尔德，艾伦；象牙色斯彭斯 2 2010 通过命题可满足性再看图着色。 Zbl 1131.05090号 范盖尔德，艾伦 14 2008 使用TPTP公司用于编写派生词和有限解释的语言。 Zbl 1222.68373号 杰夫·萨特克利夫；舒尔茨，斯蒂芬；科恩·克莱森；范盖尔德，艾伦 12 2006 通过自动分析器生成将TPTP语言扩展到高阶逻辑。 Zbl 1222.68375号 范盖尔德，艾伦；杰夫·萨特克利夫 6 2006 在可满足性求解器中实现更精简的二进制子句推理。 Zbl 1099.68097号 范盖尔德，艾伦 10 2005 池解析及其与常规解析和DPLL与子句学习的关系。 Zbl 1143.68582号 范盖尔德，艾伦 8 2005 透视某些多项式时间可解的可满足类。 Zbl 1012.68085号 约翰·佛朗哥；范盖尔德，艾伦 26 2003 在可满足性求解器中结合了前序和后序解析。 Zbl 0990.90534号 范盖尔德，艾伦 2 2001 大型公式可满足性测试的分区方法。 Zbl 1003.68148号 大俊公园；范盖尔德，艾伦 1 2000 命题模型消除中的Autarky剪枝减少了故障冗余。 Zbl 0939.68108号 范盖尔德，艾伦 8 1999 命题模型消除的引理和切割策略。 Zbl 0940.68119号 范盖尔德，艾伦；福美崎大树 2 1999 带有自闭剪枝的命题分解的复杂性分析。 Zbl 0937.68150号 范盖尔德，艾伦 1 1999 用更多的推理和更少的猜测进行满意度测试。 Zbl 0868.03007号 范盖尔德，艾伦；Yumi K.Tsuji。 17 1996 大型公式可满足性测试的分区方法。 兹比尔1412.68252 大俊公园；范盖尔德，艾伦 2 1996 带有否定的逻辑程序的交替不动点。 Zbl 0793.68039号 范盖尔德，艾伦 28 1993 逻辑程序的常识公理化。 Zbl 0798.68030号 范盖尔德，艾伦；约翰·施利普夫（John S.Schlipf）。 4 1993 八叉树用于更快的等值面生成。 Zbl 0766.68020号 简·威廉；范·盖尔德，艾伦 11 1992 通用逻辑程序的基础良好的语义。 Zbl 0799.68045号 范盖尔德，艾伦；Kenneth A.Ross。；约翰·施利普夫（John S.Schlipf）。 278 1991 在逻辑程序中推导参数大小之间的约束。 Zbl 0875.68237号 范盖尔德，艾伦 1 1991 对一般逻辑程序使用严格推导作为失败的否定。 兹伯利0668.68108 范·盖尔德，艾伦 13 1989 PRAM处理器分配：亚对数算法中的一个隐藏瓶颈。 Zbl 0666.68040号 范盖尔德，艾伦 1 1989 对一般逻辑程序使用严格推导作为失败的否定。 Zbl 0726.68065号 范·盖尔德，A。 35 1988 逻辑查询程序的并行复杂性。 Zbl 0646.68062号 杰弗里·乌尔曼。；范·盖尔德，艾伦 18 1988 非子句命题演算的可满足性测试仪。 Zbl 0658.68107号 范·盖尔德，艾伦 9 1988 PROLOG中使用龟兔技术的高效环路检测。 兹比尔0608.68006 范·盖尔德，艾伦 8 1987 非子句命题演算的可满足性测试仪。 Zbl 0546.68074号 范·盖尔德，艾伦 三 1984 所有引用的出版物 前5名被引用出版物 全部的 前5名695位作者引用 16 马克·德内克 14 奥拉夫·拜尔斯多夫 13 路易斯·莫尼兹·佩雷拉 12 托马斯·艾特 12 法布里西奥·里古齐 12 范盖尔德，艾伦 11 你，嘉慧 10 尼古拉·利昂 9 斯泽德，斯特凡 9 Joost Vennekens 8 巴特·博加特 8 勒罗伊·周 8 奥利弗·库尔曼 8 Przymusinski，Teodor C。 8 托尔斯滕·绍布（Torsten H.Schaub）。 7 何塞·朱利奥·阿尔弗雷斯 7 莫里斯·布吕诺格 7 Heule，Marijn J.H。 7 V.Wiktor马雷克 7 Joáo P.塞尔瓦侯爵。 7 帕诺斯·朗多吉安尼 7 马蒂娜·塞德尔 7 沈一东 7 特鲁什琴斯基，米洛斯奥 7 袁丽燕 6 阿明·比尔 6 豪尔赫·范丁诺 6 马丁·格布瑟 6 格奥尔格·戈特洛布 6 米科拉什·亚诺塔 6 Phan Minh Dung公司 6 弗里德里希·斯利沃夫斯基 6 杰夫·萨特克利夫 5 乔瓦尼·阿蒙多拉 5 佩德罗·卡巴拉尔 5 塞尔吉奥·格雷科 5 马蒂亚斯·克诺尔 5 伊芙琳娜·拉姆 5 尤利亚·利勒 5 米纳·马哈扬 5 Swift，Terrance公司 5 弗朗西丝卡·托尼 5 卡洛斯·维加斯·达马西奥 4 格里戈里斯·安东尼奥 4 埃琳娜·贝洛迪 4 乔舒亚·布林霍恩 4 马可·卡多利 4 尤尔根·迪克斯 4 威廉·扬·福克金 4 约翰·V·佛朗哥。 4 卢克·欣德 4 帕斯卡·希茨勒 4 斯特芬·Hölldobler 4 汤米·詹胡宁 4 巴斯·凯茨曼 4 罗伯特·A·科瓦尔斯基。 4 约昂·莱特 4 弗拉基米尔·利夫希茨 4 迈克尔·马赫（Michael J.Maher）。 4 Niemelä，Ilkka N.F。 4 胡安·卡洛斯·尼维斯 4 克里斯托斯·诺米科斯 4 恩里科·蓬泰利 4 多梅尼科·萨卡 4 马尔科·谢尔夫 4 约翰·斯图尔特·施利普夫 4 艾奥娜·西梅尼杜 4 德克·弗梅尔 三 安娜斯塔西娅·安娜斯塔西 三 奥费尔·阿列利 三 达米亚诺·阿佐利尼 三 贝恩德·贝克尔 三 妮可·比多瓦 三 安东尼奥·布罗吉 三 布鲁尼，雷纳托 三 Samuel R.巴斯。 三 斯特凡妮娅·科斯坦蒂尼 三 埃格利，乌韦 三 盖尔方德，迈克尔 三 里卡多·贡萨阿尔维斯 三 戈帕尔·古普塔 三 霍尔格·H·胡斯。 三 沙哈达特·侯赛因 三 乔瓦姆巴蒂斯塔·伊安尼 三 詹·约翰森 三 Koutris，Paraschos公司 三 凯文·莱顿·布朗 三 李楚敏 三 马吕斯·林道尔 三 刘芳芳 三 弗洛里安·朗辛 三 Yann Loyer 三 托马斯·卢卡西维奇 三 林奇，因斯 三 保罗·曼卡雷拉 三 谢尔盖·奥丁佐夫。 三 毛里西奥·奥索里奥。 三 克里斯托斯·哈里劳斯·帕帕迪米特里奥 三 汤姆·佩特尔 三 亚历山大·米盖尔·平托 …还有595名作者 全部的 前5名56篇连载文章被引用 55 人工智能 48 理论计算机科学 42 逻辑程序设计理论与实践 33 数学与人工智能年鉴 23 自动推理杂志 21 离散应用数学 19 计算机与系统科学杂志 16 信息与计算 10 国际近似推理杂志 8 应用非经典逻辑杂志 8 应用逻辑杂志 7 纯逻辑与应用逻辑年鉴 7 ACM计算逻辑事务 6 信息处理信件 6 新一代计算 5 逻辑与代数程序设计杂志 5 计算机科学中的逻辑方法 4 符号计算杂志 4 机器学习 4 可满足性、布尔建模与计算杂志 三 约束条件 三 中国科学。E系列 2 计算机和流体 2 哲学逻辑杂志 2 Studia Logica公司 2 人工智能通信 2 计算几何 2 国际计算机数学杂志 2 数学逻辑档案 2 人工智能研究杂志 1 信息学报 1 应用力学与工程中的计算机方法 1 比特币 1 计算 1 信息科学 1 符号逻辑杂志 1 SIAM计算机杂志 1 合成 1 控制论与系统 1 算法 1 国际智能系统杂志 1 运筹学年鉴 1 国际计算机科学基础杂志 1 欧洲运筹学杂志 1 计算统计与数据分析 1 计算机图形论坛 1 计算系统理论 1 优化方法和软件 1 混乱 1 国际计算方法杂志 1 计算机科学中的数学 1 数据库的基础和趋势 1 科学中国。信息科学 1 程序设计中的逻辑和代数方法杂志 1 Logicheskie Issledovaniya公司 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名17个字段中引用 478 计算机科学（68至XX） 115 数理逻辑与基础（03-XX） 12 组合数学（05-XX） 12 运筹学、数学规划（90-XX） 8 数值分析（65-XX） 6 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 5 信息与通信理论、电路（94-XX） 三 阶、格、有序代数结构（06-XX） 2 历史和传记（01-XX） 2 一般拓扑结构（54至XX） 2 流体力学（76-XX） 1 一般代数系统（08-XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文