编辑配置文件（在新选项卡中打开） 约翰·V·佛朗哥。 合著者距离 作者ID： 弗朗索·约翰逊 发布日期： 约翰·佛朗哥；弗兰科，J。；约翰·V·佛朗哥。 更多。。。较少的 主页： http://gauss.eccs.uc.edu/franco_files/franco.html 外部链接： 管理程序·数据库许可证 已编制索引的文档： 36出版物自1983年起 6作为编辑的贡献 合著者： 35位合著者具有29联合出版物 690名Co-Co作者 全部的 前5名合著者 10 单作者的 6 约翰·斯图尔特·施利普夫 4 恩德雷·博罗斯 三 埃瓦尔德·斯佩肯迈耶 三 斯瓦米纳坦，R.P。 2 Fred S.Annenstein。 2 肯尼斯·伯曼。 2 赵明泰 2 邓恩，乔恩·迈克尔 2 尤金·弗洛伊德。 2 乔治·加洛 2 马丁·查尔斯·格伦比奇 2 顾军 2 彼得·拉迪斯劳·哈默 2 Kleine Büning，汉斯 2 米查尔·库里尔 2 埃迪·尼古拉斯（Eddy Nicolas Mayoraz） 2 普洛金，J.M。 2 Paul Walton jun，普多姆。 2 约翰·W·罗森塔尔。 2 Wah，Benjamin W.S.本杰明·华。 2 肖恩·韦弗（Sean A.Weaver）。 2 威廉·霍利斯·惠勒 1 兹比格尼乌·比里奇奇 1 波尔，L。 1 佩德罗·塞利斯 1 埃拉比·乔赫曼 1 A.科茨。 1 纳迪亚·克里诺 1 达乌德，赫韦 1 唐纳·扎波尔斯基，P。 1 迈克尔·德兰斯菲尔德。 1 朱迪·戈德史密斯 1 何元川 1 尼科尔斯基、米哈·谢尔盖维奇 1 马文·C·保罗。 1 斯瓦米纳坦，拉姆 1 范·盖尔德，艾伦 1 W.Mark范弗利特 1 米罗斯拉夫·韦列夫。 1 Jeffrey A.沃德。 全部的 前5名系列 12 离散应用数学 7 数学与人工智能年鉴 2 信息科学 2 SIAM计算机杂志 1 国际多相流杂志 1 信息处理信件 1 网络 1 理论计算机科学 1 逻辑与计算杂志 1 维斯特尼克·罗西斯科戈大学德鲁日比·纳罗多夫分校。马特马提卡丝里亚 1 边界元工程分析 1 离散数学专题 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 34 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 6 总体主题；集合（00-XX） 5 运筹学、数学规划（90-XX） 三 阶、格、有序代数结构（06-XX） 2 信息与通信理论、电路（94-XX） 1 常微分方程（34-XX） 1 算子理论（47-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用297中的次208文件 引用人▼ 年份▼ 求解可满足性问题的Davis-Putnam程序的概率分析。 Zbl 0497.68021号 约翰·佛朗哥；马文·保罗 56 1983 可满足性（SAT）问题的算法：综述。 Zbl 0945.03040号 顾军；保罗·普多姆（Paul W.Purdom）。；约翰·佛朗哥；Wah，Benjamin W。 47 1997 3-可满足性问题两种启发式算法的概率分析。 Zbl 0621.68031号 赵明泰；约翰·佛朗哥 34 1986 k-可满足性问题单位条款字面选择启发式推广的概率分析。 Zbl 0706.68053号 赵明特；约翰·佛朗哥 31 1990 一维闪蒸液体流动的非平衡松弛模型。 Zbl 1135.76405号 唐纳·扎波尔斯基，P。；Z·比利奇。；波尔，L。；弗朗哥，J。 30 1996 透视某些多项式时间可解的可满足类。 Zbl 1012.68085号 约翰·佛朗哥；范·盖尔德，艾伦 26 2003 关于寻找扩展Horn公式的解。 Zbl 0875.68451号 约翰·施利普夫（John S.Schlipf）。；Fred S.Annenstein。；约翰·V·佛朗哥。；斯瓦米纳坦，R.P。 19 1995 可满足性阈值现象研究的相关结果：下界。 Zbl 0983.68081号 弗朗哥，J。 13 2001 可满足性问题的纯文字启发式概率分析。 Zbl 0673.90074号 约翰·佛朗哥 8 1984 可满足性（SAT）问题的算法。 Zbl 1253.90196号 顾军；保罗·普多姆（Paul W.Purdom）。；约翰·佛朗哥；Wah，Benjamin W。 8 1999 消除不常见变量可以提高可满足性算法的平均情况性能。 Zbl 0738.68041号 约翰·佛朗哥 6 1991 SBSAT：基于状态、基于BDD的可满足性求解器。 Zbl 1204.68193号 约翰·佛朗哥；米查尔·库里尔；约翰·施利普夫；杰弗里·沃德；肖恩·韦弗；迈克尔·德兰斯菲尔德；W.Mark范弗利特 6 2004 某些多项式时间可解可满足子类的相对大小。 Zbl 0889.68060号 弗朗哥，J。 5 1997 提高SAT解算器性能的分辨率通道。 Zbl 1128.68468号 米查尔·库里尔；约翰·佛朗哥 5 2005 对“Davis-Putnam程序解决可满足性问题的概率分析”的修正。 Zbl 0617.68046号 约翰·佛朗哥；普洛金，J.M。；约翰·W·罗森塔尔。 4 1987 人工智能与数学IX.第五届国际研讨会论文选集，美国佛罗里达州劳德代尔堡，1998年1月2-5日。 Zbl 0940.00052号 4 1999 可满足性问题的泛函的概率性能。 Zbl 0663.68059号 约翰·佛朗哥；何元川 4 1988 纯文字的概率。 Zbl 0935.68050号 约翰·W·罗森塔尔。；普洛金，J.M。；约翰·佛朗哥 三 1999 纯关联公式类的算法。 Zbl 0941.68154号 约翰·佛朗哥；朱迪·戈德史密斯；约翰·施利普夫；埃瓦尔德·斯佩肯迈耶；斯瓦米纳坦，R.P。 三 1999 Horn集的唯一可满足性可以在近似线性时间内求解。 Zbl 0836.68054号 肯尼斯·伯曼。；约翰·佛朗哥；约翰·施利普夫（John S.Schlipf）。 三 1995 更快地计算基础良好的语义。 Zbl 1496.68083号 Kenneth A.Berman。；约翰·施利普夫（John S.Schlipf）。；约翰·V·佛朗哥。 三 1995 扩展BDD关联中的存在量化。 Zbl 1138.94401号 肖恩·韦弗；约翰·佛朗哥；约翰·施利普夫 2 2006 可重命名Horn和\（q\）-Horn属性的一个尖锐阈值。 Zbl 1105.68096号 纳迪亚·克里诺；达乌德，赫韦；约翰·佛朗哥 2 2005 三次平面图中最大独立集问题的近似算法。 Zbl 0644.9003号 埃拉比·乔赫曼；约翰·佛朗哥 1 1986 使用惰性删除进行散列分析。 Zbl 0800.68339号 佩德罗·塞利斯；约翰·佛朗哥 1 1992 关于判定命题公式不可满足性的好算法。 Zbl 1029.68077号 约翰·佛朗哥；斯瓦米纳坦，拉姆 1 2003 随机子句宽度模型下可满足性算法的平均情况结果。 Zbl 0880.68059号 弗朗哥，J。；斯瓦米纳坦，R.P。 1 1997 可满足性算法的典型案例复杂性和阈值现象。 兹比尔1101.68838 约翰·佛朗哥 1 2005 扩展BDD关联中的存在量化。 Zbl 1138.94401号 肖恩·韦弗；约翰·佛朗哥；约翰·施利普夫 2 2006 提高SAT解算器性能的分辨率通道。 Zbl 1128.68468号 米查尔·库里尔；约翰·佛朗哥 5 2005 可重命名的Horn和\（q \）-Horn属性的一个尖锐阈值。 Zbl 1105.68096号 纳迪亚·克里诺；达乌德，赫韦；约翰·佛朗哥 2 2005 可满足性算法的典型案例复杂性和阈值现象。 Zbl 1101.68838号 约翰·佛朗哥 1 2005 SBSAT：基于状态、基于BDD的可满足性求解器。 Zbl 1204.68193号 约翰·佛朗哥；米查尔·库里尔；约翰·施利普夫；杰弗里·沃德；肖恩·韦弗；迈克尔·德兰斯菲尔德；W.Mark范弗利特 6 2004 透视某些多项式时间可解的可满足类。 Zbl 1012.68085号 约翰·佛朗哥；范·盖尔德，艾伦 26 2003 关于判定命题公式不可满足性的好算法。 Zbl 1029.68077号 约翰·佛朗哥；斯瓦米纳坦，拉姆 1 2003 可满足性中阈值现象研究的相关结果：下限。 Zbl 0983.68081号 弗兰科，J。 13 2001 可满足性（SAT）问题的算法。 Zbl 1253.90196号 顾军；保罗·普多姆（Paul W.Purdom）。；约翰·佛朗哥；Wah，Benjamin W。 8 1999 人工智能与数学IX.第五届国际研讨会论文选集，美国佛罗里达州劳德代尔堡，1998年1月2-5日。 Zbl 0940.00052号 4 1999 纯文字的概率。 Zbl 0935.68050号 约翰·W·罗森塔尔。；普洛金，J.M。；约翰·佛朗哥 三 1999 纯关联公式类的算法。 兹伯利0941.68154 约翰·佛朗哥；朱迪·戈德史密斯；约翰·施利普夫；埃瓦尔德·斯佩肯迈耶；斯瓦米纳坦，R.P。 三 1999 可满足性（SAT）问题的算法：综述。 Zbl 0945.03040号 顾军；保罗·普多姆（Paul W.Purdom）。；约翰·佛朗哥；Wah，Benjamin W。 47 1997 某些多项式时间可解可满足子类的相对大小。 Zbl 0889.68060号 弗朗哥，J。 5 1997 随机子句宽度模型下可满足性算法的平均情况结果。 Zbl 0880.68059号 弗朗哥，J。；斯瓦米纳坦，R.P。 1 1997 一维闪蒸液体流动的非平衡松弛模型。 Zbl 1135.76405号 唐纳·扎波尔斯基，P。；Bilicki，Z。；波尔，L。；弗朗哥，J。 30 1996 关于寻找扩展Horn公式的解。 Zbl 0875.68451号 约翰·施利普夫（John S.Schlipf）。；Fred S.Annenstein。；约翰·V·佛朗哥。；斯瓦米纳坦，R.P。 19 1995 Horn集的唯一可满足性可以在近似线性时间内求解。 Zbl 0836.68054号 Kenneth A.Berman。；约翰·佛朗哥；约翰·施利普夫（John S.Schlipf）。 三 1995 更快地计算基础良好的语义。 Zbl 1496.68083号 Kenneth A.Berman。；约翰·施利普夫（John S.Schlipf）。；约翰·V·佛朗哥。 三 1995 对带有惰性删除的哈希的分析。 Zbl 0800.68339号 佩德罗·塞利斯；约翰·佛朗哥 1 1992 消除不常见变量可以提高可满足性算法的平均情况性能。 Zbl 0738.68041号 约翰·佛朗哥 6 1991 k-可满足性问题单位条款字面选择启发式推广的概率分析。 Zbl 0706.68053号 赵明特；约翰·佛朗哥 31 1990 可满足性问题的heurisic的概率性能。 Zbl 0663.68059号 约翰·佛朗哥；何元川 4 1988 修正“解决可满足性问题的Davis-Putnam程序的概率分析”。 Zbl 0617.68046号 约翰·佛朗哥；普洛金，J.M。；约翰·W·罗森塔尔。 4 1987 3-可满足性问题两种启发式算法的概率分析。 Zbl 0621.68031号 赵明泰；约翰·佛朗哥 34 1986 三次平面图中最大独立集问题的近似算法。 Zbl 0644.9003号 埃拉比·乔赫曼；约翰·佛朗哥 1 1986 可满足性问题的纯文字启发式概率分析。 Zbl 0673.90074号 约翰·佛朗哥 8 1984 求解可满足性问题的Davis-Putnam程序的概率分析。 Zbl 0497.68021号 约翰·佛朗哥；保罗，马文 56 1983 所有引用出版物 前5名被引用出版物 全部的 前5名322位作者引用 9 约翰·V·佛朗哥。 8 奥利弗·库尔曼 7 布鲁尼，雷纳托 6 埃瓦尔德·斯佩肯迈耶 6 斯泽德，斯特凡 5 阿奇利奥普塔斯，迪米特里斯 5 保时捷、斯特凡 5 吉勒亨·塞梅尔健 4 陈剑儿 4 雷米·莫纳森 4 王金昌 4 赵西顺 三 阿德尔申，A.V。 三 丹尼尔·贝伦德 三 阿明·比尔 三 西蒙娜·科科 三 纳迪亚·克里诺 三 Heule，Marijn J.H。 三 爱德华·赫施。 三 基鲁西斯，左弥尔顿 三 科洛科洛夫，亚历山大·阿列克桑德罗维奇 三 彼得·库切拉 三 Ole J.蒙苏尔。 三 约翰·W·罗森塔尔。 三 王建新 三 徐超 2 奥拉夫·拜尔斯多夫 2 乔舒亚·布林霍恩 2 辛西娅·布朗（Cynthia A.Brown）。 2 Randal E.布莱恩特。 2 路易丝·布丁斯基 2 JoséM.Castaño。 2 罗德里戈·卡斯塔尼奥 2 Coja Oghlan，阿明 2 约瑟夫·卡伯森（Joseph C.Culberson）。 2 达乌德，赫韦 2 约塞普·迪亚斯 2 奥利维尔·杜波伊斯 2 保罗·E·邓恩。 2 费尔南德斯·德拉维加（Fernandez de la Vega），温塞斯拉斯 2 高勇 2 戈兰，沙哈尔 2 马修·格温 2 卢克·欣德 2 塔德·霍格 2 约翰·胡克（John N.jun Hooker）。 2 罗伯特·杰罗斯洛。 2 亚历克西斯·C·卡波里斯。 2 Kim，Jeong Han先生 2 Kleine Büning，汉斯 2 Hector J.列夫斯克。 2 大卫·G·M·米切尔（David G.M.Mitchell）。 2 迪特尔·米采 2 弗兰克·诺伊曼 2 谢尔盖·尼科伦科。 2 塞巴斯蒂安·奥德尼亚克 2 丹尼尔·保卢斯马 2 丹尼尔·普雷托拉尼 2 Paul Walton jun，普多姆。 2 费德里科·里奇·泰辛吉 2 丹·罗斯 2 安东尼奥·萨萨诺 2 彼得·萨维克 2 安德鲁·萨顿（Andrew M.Sutton）。 2 特威托，尤猜 2 汉斯·范马伦 2 莫西·亚亚科夫·瓦尔迪 2 大卫·C·威尔金斯。 2 科林·威廉姆斯。 2 伦卡·兹德博罗娃 1 亚历山大·阿德尔申 1 Özgür阿贡 1 巴拉西姆·萨迪 1 塔斯尼姆·纳赛尔·叶海亚 1 迈克尔·阿勒赫诺维奇 1 阿隆索、何塞·安东尼奥 1 米盖尔·安霍斯（Miguel F.Anjos）。 1 赫拉·安东诺普鲁 1 费德里科·阿迪拉 1 埃里克·巴赫 1 Delbert D.Bailey。 1 凯瑟琳·巴勒斯坦 1 迪纳·巴拉克·佩利格 1 李·巴奈特（Lee A.Barnett）。 1 罗伯托·巴蒂蒂 1 保罗·比姆。 1 Trevor J.M.Bench-Capon。 1 朱利奥·比罗利 1 查尔斯·E·布莱尔。 1 维拉博格达诺娃 1 伯恩，马克斯 1 贝拉·博洛巴斯 1 贝里赫斯·博尔赫斯·加西亚 1 博格，克里斯蒂安 1 艾伦·B·博罗丁。 1 恩德雷·博罗斯 1 兹德拉夫科·博特夫一世。 1 让·布尔盖恩 1 阿尔弗雷多·布劳恩斯坦 1 弗朗西·布尔格勒 …还有222位作者 全部的 前5名59篇连载文章中引用 26 离散应用数学 22 理论计算机科学 18 数学与人工智能年鉴 12 人工智能 7 信息处理信件 6 自动推理杂志 5 信息科学 4 离散数学 4 随机结构与算法 4 Prikladnaya Diskretnaya Matematika公司 三 计算机与系统科学杂志 三 计算机科学与技术杂志 三 运筹学年鉴 三 组合优化期刊 三 统计力学杂志：理论与实验 2 统计物理学杂志 2 算法 2 计算机与运筹学 2 美国数学学会杂志 2 数学和计算机建模 2 全球优化杂志 2 欧洲运筹学杂志 2 人工智能研究杂志 2 约束条件 2 ACM计算逻辑汇刊 2 离散优化 2 欧洲物理杂志B。凝聚物质和复杂系统 2 计算机科学中的逻辑方法 1 计算机与数学及其应用 1 物理A 1 信息传输问题 1 模糊集与系统 1 国际工程数值方法杂志 1 复杂性杂志 1 信息与计算 1 国际近似推理杂志 1 SIAM离散数学杂志 1 中国科学。系列A 1 机器学习 1 应用概率年鉴 1 MSCS公司。计算机科学中的数学结构 1 美国国家科学院院刊 1 数学编程。A系列B系列 1 计算复杂性 1 组合数学、概率与计算 1 数学科学杂志（纽约） 1 组合数学电子杂志 1 离散数学科学与密码学杂志 1 数学年鉴。第二系列 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 JMMA公司。数学建模与算法杂志 1 ACM实验算法杂志 1 可满足性、布尔建模与计算杂志 1 物理学报A：数学与理论 1 中欧计算机科学杂志 1 统计与计算 1 计算机科学评论 1 运筹学数学建模与算法杂志 全部的 前5名在20个字段中引用 176 计算机科学（68至XX） 37 数学逻辑和基础（03-XX） 29 运筹学、数学规划（90-XX） 16 组合数学（05-XX） 10 概率论与随机过程（60-XX） 9 统计力学，物质结构（82-XX） 4 阶、格、有序代数结构（06-XX） 4 生物学和其他自然科学（92-XX） 三 统计学（62-XX） 三 数值分析（65-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 实函数（26年X月X日） 1 欧氏空间的调和分析（42至XX） 1 几何图形（51至XX） 1 凸和离散几何（52至XX） 1 粒子和系统力学（70-XX） 1 可变形固体力学（74-XX） 1 量子理论（81-XX） 按年份列出的引文