编辑配置文件（在新选项卡中打开） 范·盖尔德，艾伦 合著者距离 作者ID： 范·盖尔德·艾伦 发布方式： 范·盖尔德，艾伦;范盖尔德，艾伦;范·盖尔德（A.Van Gelder）。;范·盖尔德，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出版物有被引用592中的次512文件 引用人▼ 年份▼ 通用逻辑程序的基础良好的语义。 Zbl 0799.68045号 范·盖尔德，艾伦;Kenneth A.Ross。;约翰·施利普夫。 278 1991 对一般逻辑程序使用严格推导作为失败的否定。 Zbl 0726.68065号 范·盖尔德，A。 35 1988 对实用量化布尔公式求解理论的贡献。 Zbl 1390.68585号 范·盖尔德，艾伦 30 2012 带有否定的逻辑程序的交替不动点。 兹比尔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 对一般逻辑程序使用严格推导作为失败的否定。 Zbl 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 通过QBF伪单位传播实现量化布尔公式的高效子句学习。 Zbl 1390.68579号 弗洛里安·朗辛;埃格利，乌韦;范·盖尔德，艾伦 9 2013 非子句命题演算的可满足性测试仪。 Zbl 0658.68107号 范盖尔德，艾伦 9 1988 池解析及其与常规解析和DPLL与子句学习的关系。 Zbl 1143.68582号 范·盖尔德，艾伦 8 2005 PROLOG中使用龟兔技术的高效环路检测。 兹比尔0608.68006 范盖尔德，艾伦 8 1987 命题模型消除中的Autarky剪枝减少了故障冗余。 Zbl 0939.68108号 范·盖尔德，艾伦 8 1999 产生并验证超大命题反驳。 Zbl 1273.68329号 范·盖尔德，艾伦 6 2012 QBF画廊：幕后。 兹比尔1357.68209 弗洛里安·朗辛;马蒂娜·塞德尔;范·盖尔德，艾伦 6 2016 通过自动分析器生成将TPTP语言扩展到高阶逻辑。 兹比尔1222.68375 范·盖尔德，艾伦;杰夫·萨特克利夫 6 2006 逻辑程序的常识公理化。 Zbl 0798.68030号 范·盖尔德，艾伦;约翰·施利普夫（John S.Schlipf）。 4 1993 非子句命题演算的可满足性测试仪。 Zbl 0546.68074号 范盖尔德，艾伦 三 1984 量化布尔公式的扩展失效线性预处理。 Zbl 1273.68189号 范·盖尔德，艾伦;塞缪尔·伍德（Samuel B.Wood）。;弗洛里安·朗辛 三 2012 命题模型消除的引理和切割策略。 Zbl 0940.68119号 范·盖尔德，艾伦;福美崎大树 2 1999 对具有超时和平局的多个解算器进行仔细排名。 Zbl 1331.68213号 范·盖尔德，艾伦 2 2011 可满足解的广义冲突子句强化。 Zbl 1330.68278号 范·盖尔德，艾伦 2 2011 在可满足性求解器中结合了前序和后序解析。 Zbl 0990.90534号 范·盖尔德，艾伦 2 2001 大型公式可满足性测试的分区方法。 Zbl 1412.68252号 大俊公园;范·盖尔德，艾伦 2 1996 Contrasat–逆向SAT解决方案。 Zbl 1322.68188号 范盖尔德，艾伦 2 2014 零一设计产生小型硬SAT实例。 Zbl 1306.68177号 范·盖尔德，艾伦;象牙色斯彭斯 2 2010 推导逻辑程序中参数大小之间的约束。 兹伯利0875.68237 范·盖尔德，艾伦 1 1991 满意度测试的理论和应用——2013年SAT。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。 Zbl 1268.68023号 1 2013 带有自闭剪枝的命题分解的复杂性分析。 兹比尔0937.68150 范·盖尔德，艾伦 1 1999 大型公式可满足性测试的分区方法。 Zbl 1003.68148号 朴泰俊;范·盖尔德，艾伦 1 2000 PRAM处理器分配：亚对数算法中的一个隐藏瓶颈。 Zbl 0666.68040号 范·盖尔德，艾伦 1 1989 QBF画廊：幕后。 Zbl 1357.68209号 弗洛里安·朗辛;马蒂娜·塞德尔;范·盖尔德，艾伦 6 2016 Contrasat–逆向SAT解决方案。 Zbl 1322.68188号 范盖尔德，艾伦 2 2014 通过QBF伪单位传播实现量化布尔公式的高效子句学习。 Zbl 1390.68579号 弗洛里安·朗辛;埃格利，乌韦;范·盖尔德，艾伦 9 2013 满意度测试的理论和应用——2013年SAT。第十六届国际会议，芬兰赫尔辛基，2013年7月8日至12日。诉讼程序。 Zbl 1268.68023号 1 2013 对实用量化布尔公式求解理论的贡献。 Zbl 1390.68585号 范·盖尔德，艾伦 30 2012 产生并验证超大命题反驳。 Zbl 1273.68329号 范·盖尔德，艾伦 6 2012 量化布尔公式的扩展失效线性预处理。 Zbl 1273.68189号 范·盖尔德，艾伦;塞缪尔·伍德（Samuel B.Wood）。;弗洛里安·朗辛 三 2012 量化布尔公式的变量独立性和解析路径。 Zbl 1273.68188号 范·盖尔德，艾伦 11 2011 对具有超时和平局的多个解算器进行仔细排名。 Zbl 1331.68213号 范·盖尔德，艾伦 2 2011 可满足解的广义冲突子句强化。 兹比尔1330.68278 范·盖尔德，艾伦 2 2011 零一设计产生小型硬SAT实例。 Zbl 1306.68177号 范·盖尔德，艾伦;象牙色斯彭斯 2 2010 通过命题可满足性再看图着色。 Zbl 1131.05090号 范·盖尔德，艾伦 14 2008 使用第三方交易协议用于编写派生词和有限解释的语言。 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 大型公式可满足性测试的分区方法。 Zbl 1412.68252号 大俊公园;范·盖尔德，艾伦 2 1996 逻辑程序与否定的交替固定点。 Zbl 0793.68039号 范·盖尔德，艾伦 28 1993 逻辑程序的常识公理化。 Zbl 0798.68030号 范·盖尔德，艾伦;约翰·施利普夫（John S.Schlipf）。 4 1993 八叉树用于更快的等值面生成。 兹比尔0766.68020 简·威廉;范盖尔德，艾伦 11 1992 通用逻辑程序的基础良好的语义。 兹比尔0799.68045 范·盖尔德，艾伦;Kenneth A.Ross。;约翰·施利普夫（John S.Schlipf）。 278 1991 推导逻辑程序中参数大小之间的约束。 Zbl 0875.68237号 范·盖尔德，艾伦 1 1991 对一般逻辑程序使用严格推导作为失败的否定。 Zbl 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中使用龟兔技术的高效环路检测。 Zbl 0608.68006号 范盖尔德，艾伦 8 1987 非子句命题演算的可满足性测试仪。 Zbl 0546.68074号 范盖尔德，艾伦 三 1984 所有引用出版物 前5名被引用出版物 全部的 前5名696位作者引用 16 马克·德内克 15 奥拉夫·拜尔斯多夫 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 德克·弗梅尔 三 安娜斯塔西娅·安娜斯塔西 三 奥费尔·阿列利 三 达米亚诺·阿佐利尼 三 贝恩德·贝克尔 三 尼科尔·比多特 三 安东尼奥·布罗吉 三 布鲁尼，雷纳托 三 塞缪尔·R·巴斯。 三 斯特凡妮娅·科斯坦蒂尼 三 埃格利，乌韦 三 迈克尔·盖尔芬德 三 里卡多·贡萨阿尔维斯 三 戈帕尔·古普塔 三 霍尔格·H·胡斯。 三 沙哈达特·侯赛因 三 乔瓦姆巴蒂斯塔·伊安尼 三 詹·约翰森 三 Koutris，Paraschos公司 三 凯文·莱顿·布朗 三 李楚敏 三 马吕斯·林道尔 三 刘芳芳 三 弗洛里安·朗辛 三 Yann Loyer 三 托马斯·卢卡西维奇 三 林奇，因斯 三 保罗·曼卡雷拉 三 奥廷索夫，谢尔盖·P。 三 毛里西奥·奥索里奥。 三 克里斯托斯·哈里劳斯·帕帕迪米特里奥 三 托马斯·佩特尔 三 亚历山大·米盖尔·平托 …还有596名作者 全部的 前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 数学逻辑档案 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个领域引用 479 计算机科学（68至XX） 114 数学逻辑和基础（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） 按年份列出的引文