编辑配置文件（在新选项卡中打开） 玛丽亚·路易莎·博内 合著者距离 作者ID： 三疣骨 发布日期： 玛丽亚·路易莎·博内；玛丽亚·路易莎·博内；玛丽亚·博内 更多。。。较少的 外部链接： 管理程序·ORCID公司 已编制索引的文档： 39出版物自1993年以来，包括1个附加arXiv预打印 合著者： 25位合著者具有38联合出版物 701合作作者 全部的 前5名合著者 1 单作者的 12 Samuel R.巴斯。 10 约尔迪·利维 7 卡洛斯·安索特吉 5 托尼安·皮塔西 4 詹姆斯·艾森伯格 4 阿尔伯特·阿塞里亚斯 4 尼古拉·加莱西 4 很多，费利普 三 胡安·路易斯·埃斯特班 三 辛西娅·菲利普斯。 三 兰·拉兹 三 Tandy J.沃诺。 三 Yooseph、Shibu 2 阿德里安 2 吉拉尔德斯·克鲁，杰苏斯 2 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 2 加布里埃尔·伊斯特拉特。 2 詹·约翰森 2 若昂·席尔瓦侯爵。 2 安托尼奥·莫尔加多 1 卡洛斯·多明戈 1 里卡德·加瓦尔达 1 亚历克西斯·马西尔 1 Laurent S.R.西蒙。 1 凯瑟琳·圣约翰 全部的 前5名系列 4 SIAM计算机杂志 三 人工智能 三 符号逻辑杂志 三 信息与计算 2 计算复杂性 2 人工智能研究杂志 1 信息处理信件 1 信息科学 1 计算机与系统科学杂志 1 数学逻辑档案 全部的 前5名领域 25 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 6 组合数学（05-XX） 三 生物学和其他自然科学（92-XX） 1 测量和集成（28-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用377中的次255个文档 引用人▼ 年份▼ 通过满意度测试求解（加权）部分MaxSAT。 兹比尔1247.68242 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2009 基于SAT的MaxSAT算法。 Zbl 1270.68265号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2013 关于Frege系统的插值和自动化。 Zbl 0959.03044号 玛丽亚·路易莎·博内；托尼安·皮塔西；兰·拉兹 31 2000 用小系数证明切割平面的下限。 兹比尔0889.03050 波内，玛丽亚；托尼安·皮塔西；兰·拉兹 30 1997 Max-SAT分辨率。 Zbl 1168.68541号 玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 25 2007 关于分辨率细化和切面证明系统的相对复杂性。 Zbl 0976.03062号 玛丽亚·路易莎·博内；胡安·路易斯·埃斯特班；尼古拉·加莱西；詹·约翰森 23 2000 弗雷格系统有硬性例子吗？ Zbl 0834.03021号 玛丽亚·路易莎·博内；Samuel R.巴斯。；托尼安·皮塔西 19 1995 尺寸-宽度权衡解决方案的最佳性。 Zbl 1024.03012号 玛丽亚·路易莎·博内；尼古拉·加莱西 17 2001 布尔公式的大小深度权衡。 Zbl 0802.68067号 玛丽亚·路易莎·博内；Samuel R.巴斯。 16 1994 解析和相关命题证明系统的自动化。 Zbl 1051.03014号 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎·博内 15 2004 有界深度Frege证明的非自动化。 Zbl 1058.03063号 玛丽亚·路易莎·博内；卡洛斯·多明戈；里卡德·加瓦尔达；亚历克西斯·马西尔；托尼安·皮塔西 14 2004 弱鸽子洞原理和超越分辨率的随机公式的下限。 Zbl 1012.03058号 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎·博内；胡安·路易斯·埃斯特班 12 2002 SAT公式的分形维数。 Zbl 1423.68429号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维 11 2014 推导规则以及线性和近线性证明仿真。 Zbl 0848.03028号 玛丽亚·路易莎·博内；Samuel R.巴斯。 10 1993 2-D Tucker已完成PPA。 Zbl 1436.68127号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯 10 2020 Max-SAT的完整演算。 Zbl 1124.68104号 玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 9 2006 用小系数证明切割平面的下限。 Zbl 0925.03207号 玛丽亚·博内；托尼安·皮塔西；兰·拉兹 8 1995 使用SAT高效计算进化树度量。 Zbl 1247.68247号 玛丽亚·路易莎·博内；凯瑟琳·圣约翰。 6 2009 弗雷格证明中有无演绎规则的符号数。 Zbl 0806.03038号 玛丽亚·路易莎·博内 5 1993 系统之间的等效性强于分辨率。 Zbl 07331020号 玛丽亚·路易莎·博内；约尔迪·利维 5 2020 改进了规则解析与子句学习证明系统的分离。 兹比尔1361.68185 玛丽亚·路易莎·博内；萨姆·巴斯；詹·约翰森 5 2014 关于解析和相关命题证明系统的自动化。 Zbl 1020.03008号 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎·博内 4 2002 集合迹上Frankl定理的拟多项式大小Frege证明。 Zbl 1436.03298号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯 4 2016 工业SAT实例中的社区结构。 Zbl 1430.68286号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 4 2019 改进了常规解析与池解析和子句学习的分离。 Zbl 1273.03048号 玛丽亚·路易莎·博内；萨姆·巴斯 4 2012 将CSP映射到多值SAT。 Zbl 1214.68339号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 三 2007 带有MaxHS的DRMaxSAT：第一个联系人。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎·博内；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03040号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯；阿德里安·克鲁辛；加布里埃尔·伊斯特拉特 三 2018 树的串行传递闭包问题。 Zbl 0828.68099号 玛丽亚·路易莎·博内；Samuel R.巴斯。 2 1995 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03041号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯；阿德里安·科隆；加布里埃尔·伊斯特拉特 2 2015 多值优化的解析程序。 Zbl 1293.03010号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 2 2013 在多态性特征存在的情况下构建进化树。 Zbl 0934.05040号 玛丽亚·博内；辛西娅·菲利普斯；坦迪·沃诺；Yooseph、Shibu 1 1999 具有替换的Frege系统的线性下限和模拟。 Zbl 0909.03047号 玛丽亚·路易莎·博内；尼古拉·加莱西 1 1998 在多态性特征存在的情况下构建进化树。 Zbl 0936.68024号 玛丽亚·博内；辛西娅·菲利普斯；Tandy J.沃诺。；Yooseph、Shibu 1 1996 2-D Tucker已完成PPA。 兹比尔1436.68127 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯 10 2020 系统之间的等效性强于分辨率。 Zbl 07331020号 玛丽亚·路易莎·博内；约尔迪·利维 5 2020 工业SAT实例中的社区结构。 Zbl 1430.68286号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维；洛朗·西蒙 4 2019 带有MaxHS的DRMaxSAT：第一个联系人。 Zbl 1441.68232号 安东尼奥·莫尔加多；阿列克谢·伊格纳提耶夫；玛丽亚·路易莎·博内；若昂·西尔瓦侯爵；萨姆·巴斯 三 2019 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03040号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯；阿德里安·克鲁辛；加布里埃尔·伊斯特拉特 三 2018 集合迹上Frankl定理的拟多项式大小Frege证明。 Zbl 1436.03298号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯 4 2016 Kneser-Lovász着色原理的简短证明。 Zbl 1443.03041号 詹姆斯·艾森伯格；玛丽亚·路易莎·博内；萨姆·巴斯；阿德里安·科隆；加布里埃尔·伊斯特拉特 2 2015 SAT公式的分形维数。 Zbl 1423.68429号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；吉拉尔德斯·克鲁，杰苏斯；约尔迪·利维 11 2014 改进了规则解析与子句学习证明系统的分离。 Zbl 1361.68185号 玛丽亚·路易莎·博内；萨姆·巴斯；詹·约翰森 5 2014 基于SAT的MaxSAT算法。 Zbl 1270.68265号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2013 多值优化的解析程序。 Zbl 1293.03010号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 2 2013 改进了常规解析与池解析和子句学习的分离。 Zbl 1273.03048号 玛丽亚·路易莎·博内；萨姆·巴斯 4 2012 通过满意度测试求解（加权）部分MaxSAT。 兹比尔1247.68242 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维 36 2009 使用SAT高效计算进化树度量。 Zbl 1247.68247号 玛丽亚·路易莎·博内；凯瑟琳·圣约翰。 6 2009 Max-SAT分辨率。 Zbl 1168.68541号 玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 25 2007 将CSP映射到多值SAT。 Zbl 1214.68339号 卡洛斯·安索特吉；玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 三 2007 Max-SAT的完整演算。 Zbl 1124.68104号 玛丽亚·路易莎·博内；约尔迪·利维；很多，费利普 9 2006 解析和相关命题证明系统的自动化。 兹比尔1051.03014 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎 15 2004 有界深度Frege证明的非自动化。 Zbl 1058.03063号 玛丽亚·路易莎·博内；卡洛斯·多明戈；里卡德·加瓦尔达；亚历克西斯·马西尔；托尼安·皮塔西 14 2004 弱鸽子洞原理和超越分辨率的随机公式的下限。 Zbl 1012.03058号 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎·博内；胡安·路易斯·埃斯特班 12 2002 解析和相关命题证明系统的自动化。 Zbl 1020.03008号 阿尔伯特·阿塞里亚斯；玛丽亚·路易莎·博内 4 2002 尺寸-宽度权衡解决方案的最佳性。 Zbl 1024.03012号 玛丽亚·路易莎·博内；尼古拉·加莱西 17 2001 关于Frege系统的插值和自动化。 Zbl 0959.03044号 玛丽亚·路易莎·博内；托尼安·皮塔西；兰·拉兹 31 2000 关于分辨率细化和切面证明系统的相对复杂性。 Zbl 0976.03062号 玛丽亚·路易莎·博内；胡安·路易斯·埃斯特班；尼古拉·加莱西；詹·约翰森 23 2000 在多态性特征存在的情况下构建进化树。 Zbl 0934.05040号 玛丽亚·博内；辛西娅·菲利普斯；坦迪·沃诺；Yooseph、Shibu 1 1999 具有替换的Frege系统的线性下限和模拟。 Zbl 0909.03047号 玛丽亚·路易莎·博内；尼古拉·加莱西 1 1998 用小系数证明切割平面的下限。 Zbl 0889.03050号 玛丽亚·博内；托尼安·皮塔西；兰·拉兹 30 1997 在多态性特征存在的情况下构建进化树。 Zbl 0936.68024号 玛丽亚·博内；辛西娅·菲利普斯；Tandy J.沃诺。；Yooseph、Shibu 1 1996 弗雷格系统有硬性例子吗？ Zbl 0834.03021号 玛丽亚·路易莎·博内；Samuel R.巴斯。；托尼安·皮塔西 19 1995 用小系数证明切割平面的下限。 Zbl 0925.03207号 玛丽亚·博内；托尼安·皮塔西；兰·拉兹 8 1995 树的串行传递闭包问题。 Zbl 0828.68099号 玛丽亚·路易莎·博内；Samuel R.巴斯。 2 1995 布尔公式的大小-深度权衡。 兹比尔0802.68067 玛丽亚·路易莎·博内；Samuel R.巴斯。 16 1994 演绎规则以及线性和近似线性的证明模拟。 Zbl 0848.03028号 玛丽亚·路易莎·博内；Samuel R.巴斯。 10 1993 弗雷格证明中有无演绎规则的符号数。 Zbl 0806.03038号 玛丽亚·路易莎·博内 5 1993 所有引用出版物 前5名被引用出版物 全部的 前5名367位作者引用 15 奥拉夫·拜尔斯多夫 15 Samuel R.巴斯。 11 托尼安·皮塔西 10 马西莫·劳里亚 9 阿尔伯特·阿塞里亚斯 9 若昂·席尔瓦侯爵。 9 阿列克桑德·阿列克桑德罗维奇·拉兹博罗夫 7 玛丽亚·路易莎·博内 7 很多，费利普 6 丹尼尔·贝伦德 6 李楚敏 6 雅各布诺德斯特伦 6 帕维尔·普德拉克 6 特威托，尤猜 5 尼古拉·加莱西 5 贾马尔·哈贝特 5 简·克拉契克 5 乔迪，飞机 5 尼尔·萨彭 5 马克·维尼亚尔斯 4 卡洛斯·安索特吉 4 约塞普·阿格利奇 4 菲洛斯·拉特西卡斯，阿里斯 4 诺亚·弗莱明 4 戈兰，沙哈尔 4 詹·约翰森 4 约尔迪·利维 4 米纳·马哈扬 4 斯泽德，斯特凡 4 伊多·扎梅雷特 三 詹姆斯·艾森伯格 三 迈克尔·阿勒赫诺维奇 三 Noriko H.Arai。 三 阿弥陀佛巴苏 三 蔡少伟 三 穆罕默德·萨米·谢里夫 三 胡安·路易斯·埃斯特班 三 尤瓦尔·菲莫斯 三 托拜厄斯·弗里德里希 三 乔尔·加布 三 保罗·戈德伯格（Paul W.Goldberg）。 三 米卡·哥尔斯 三 费德里科·赫拉斯 三 亚历山大·霍伦德 三 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 三 罗素·英帕利亚佐 三 米科拉什，雅诺塔 三 林奇，因斯 三 安托尼奥·莫尔加多 三 罗森伯格（Ralf Rothenberger） 三 Šhukla，Anil K。 三 苏凯乐 三 阿拉斯代尔·厄克哈特 三 王建新 三 徐超 2 安德烈·阿布拉梅 2 马里奥·阿尔维亚诺 2 阿莱、东山英彦 2 奥费尔·阿列利 2 保罗·比姆。 2 阿诺德·贝克曼 2 杰里米亚斯·伯格 2 米克尔波菲尔 2 Randal E.布莱恩特。 2 阿尔卡德夫查托帕迪亚伊 2 陈剑儿 2 勒罗伊·周 2 乔迪·科尔 2 米歇尔·孔夫蒂 2 斯蒂芬·阿瑟·库克 2 阿德里安 2 丹切夫、斯特凡·斯托亚诺夫 2 Dash，桑吉卜 2 西蒙·德·吉夫里 2 Deligkas、Argyros 2 马尔科·迪萨马 2 多达罗，胭脂红 2 安娜·加尔 2 罗伯特·加尼安 2 吉拉尔德斯·克鲁，杰苏斯 2 何坤 2 Heule，Marijn J.H。 2 加布里埃尔·伊斯特拉特。 2 张京堂 2 Järvisalo，马蒂 2 蒋宏毅 2 普里蒂什·卡马特 2 安东尼娜·科洛科洛娃 2 Daniel Kozhemiachenko 2 彼得·库切拉 2 罗马库兹涅茨 2 哈维尔·拉罗萨 2 罗，川 2 Vasco M.Manquinho。 2 巴纳比·D·马丁。 2 迈尔，或 2 卡洛斯·门西娅 2 Jochen Messner先生 2 穆罕默德·乌尔德 2 莫里茨·米勒 …还有267位作者 全部的 前5名55篇连载文章中引用 20 人工智能 15 理论计算机科学 12 信息处理信件 11 计算机与系统科学杂志 11 纯逻辑与应用逻辑年鉴 8 SIAM计算机杂志 8 信息与计算 8 计算复杂性 8 约束条件 5 符号逻辑杂志 5 数学与人工智能年鉴 5 ACM计算逻辑汇刊 5 可满足性、布尔建模与计算杂志 4 离散优化 三 人工智能通信 三 数学逻辑档案 三 人工智能研究杂志 三 组合优化期刊 2 离散应用数学 2 运营研究信件 2 自动推理杂志 2 国际近似推理杂志 2 运筹学年鉴 2 数学编程。A系列B系列 2 计算系统理论 2 计算机科学中的逻辑方法 2 计算理论 1 数学生物学通报 1 模糊集与系统 1 计算与应用数学杂志 1 图论杂志 1 日本科学院院刊。系列A 1 Studia Logica公司 1 计算机科学与技术杂志 1 算法 1 机器学习 1 美国数学学会公报。新系列 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 数学逻辑季刊（MLQ） 1 顶部 1 符号逻辑公报 1 启发式杂志 1 美国计算机学会期刊 1 离散数学和理论计算机科学。DMTCS公司 1 数学年鉴。第二系列 1 数学逻辑杂志 1 计算机基础理论 1 逻辑与逻辑哲学 1 逻辑程序设计理论与实践 1 机器学习研究杂志（JMLR） 1 自然计算 1 应用逻辑杂志 1 优化信函 1 组合代数杂志 全部的 前5名在20个字段中引用 197 计算机科学（68至XX） 96 数学逻辑和基础（03-XX） 38 运筹学、数学规划（90-XX） 11 组合数学（05-XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 信息与通信理论、电路（94-XX） 5 生物学和其他自然科学（92-XX） 三 量子理论（81-XX） 2 阶、格、有序代数结构（06-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 凸和离散几何（52至XX） 1 一般代数系统（08-XX） 1 交换代数（13-XX） 1 代数几何（14-XX） 1 代数拓扑（55-XX） 1 流形和细胞复合体（57至XX） 1 整体分析，流形分析（58至XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 按年份列出的引文