玛丽亚·路易莎·博内
人员信息
附属: 西班牙巴塞罗那加泰罗尼亚理工大学
优化列表
2020年–今天
2024 [公元28年] 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
加权、圆形和半代数证明。 J.阿蒂夫。 智力。 物件。 79 : 447-482 ( 2024 ) [公元43年] 伊拉里奥·波纳奇纳 , 玛丽亚·路易莎·博内 , 马西莫·劳里亚 :
包含冗余的MaxSAT分辨率。 坐 2024 : 7:1-7:15 [i12] 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 马西莫·劳里亚 :
MaxSAT冗余。 电子。 计算机学术讨论会。 复杂。 24号机房 ( 2024 ) 2023 [公元42年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
关于布尔公式的状态密度。 CCIA公司 2023 : 369-382 [公元41年] 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
MaxSAT多项式微积分。 坐 2023 : 5:1-5:17 2022 [j27] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
无标度随机SAT实例。 算法 15 ( 6 ) : 219 ( 2022 ) [公元40年] 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 :
关于Sherali-Adams和Nullstellensatz作为命题证明系统的力量。 低收入国家 2022 : 25:1-25:12 2021 [公元26年] 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 阿列克谢·伊格纳提耶夫 , 安托尼奥·莫尔加多 , 若昂·马尔克斯·席尔瓦 :
基于最大可满足性的命题证明系统。 Artif公司。 智力。 300 : 103552 ( 2021 ) [i11] 伊拉里奥·博纳西纳 , 玛丽亚·路易莎·博内 :
关于Sherali-Adams和Nullstellensatz作为命题证明系统的力量。 电子。 计算机学术讨论会。 复杂。 21号机房 ( 2021 ) 2020 [公元25年] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 :
2-D Tucker已完成PPA。 J.计算。 系统。 科学。 108 : 92-103 ( 2020 ) [公元39年] 玛丽亚·路易莎·博内 , 乔迪·利维 :
系统之间的等效性强于分辨率。 坐 2020 : 166-181
2010 – 2019
2019 [公元24年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , Jesús Giráldez克鲁 , 乔迪·利维 , 劳伦特·西蒙 :
工业SAT实例中的社区结构。 J.阿蒂夫。 智力。 物件。 66 : 443-472 ( 2019 ) [公元38年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
真实随机SAT模型中的相变。 CCIA公司 2019 : 213-222 [公元37年] 安托尼奥·莫尔加多 , 阿列克谢·伊格纳提耶夫 , 玛丽亚·路易莎·博内 , 若昂·马尔克斯·席尔瓦 , 萨姆·巴斯 :
带有MaxHS的DRMaxSAT:首次接触。 坐 2019 : 239-249 2018 [公元23年] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 阿德里安·克雷西恩 , 加布里埃尔·伊斯特拉特 :
Kneser-Lovász着色原理的简短证明。 Inf.计算。 261 : 296-310 ( 2018 ) [公元36年] 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 阿列克谢·伊格纳季耶夫 , 若昂·马尔克斯·席尔瓦 , 安托尼奥·莫尔加多 :
采用双轨编码的MaxSAT分辨率。 AAAI公司 2018 : 6565-6572 2017 [公元22年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 杰苏斯·吉尔德斯·克鲁 , 乔迪·利维 :
SAT实例分类的结构特征。 J.应用。 日志。 23 : 27-39 ( 2017 ) 2016 [公元21年] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 :
集合迹上Frankl定理的拟多项式大小Frege证明。 J.塞姆。 日志。 81 ( 2 ) : 687-710 ( 2016 ) [i10] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 杰苏斯·吉尔德斯·克鲁 , 乔迪·利维 :
工业SAT实例中的社区结构。 CoRR公司 abs/1606.03329 ( 2016 ) 2015 [公元35年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 杰苏斯·吉尔德斯·克鲁 , 乔迪·利维 :
关于工业SAT系列的分类。 CCIA公司 2015 : 163-172 [公元34年] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 阿德里安·克雷西恩 , 加布里埃尔·伊斯特拉特 :
Kneser-Lovász着色原理的简短证明。 ICALP(二) 2015 : 44-55 [第九章] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 阿德里安·克雷西恩 , 加布里埃尔·伊斯特拉特 :
Kneser-Lovász着色原理的简短证明。 CoRR公司 abs/1505.05531 ( 2015 ) [i8] 詹姆斯·艾森伯格 , 玛丽亚·路易莎·博内 , 萨姆·巴斯 :
2-D Tucker已完成PPA。 电子。 计算机学术讨论会。 复杂。 15号机房 ( 2015 ) 2014 [公元20年] 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 简·约翰森 :
改进了常规解析与子句学习证明系统的分离。 J.阿蒂夫。 智力。 物件。 49 : 669-703 ( 2014 ) [公元33年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 杰苏斯·吉尔德斯·克鲁 , 乔迪·利维 :
SAT公式的分形维数。 IJCAR公司 2014 : 107-121 2013 [j19] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
基于SAT的MaxSAT算法。 Artif公司。 智力。 196 : 77-105 ( 2013 ) [公元18年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
多值优化的解析程序。 信息科学。 227 : 43-59 ( 2013 ) [公元32年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔尔·加巴斯 , 乔迪·利维 :
改进(加权)部分MaxSAT的WPM2。 人物配对关系 2013 : 117-132 [公元31年] 玛丽亚·路易莎·博内 , 萨姆·巴斯 :
改进了常规解析与池解析和子句学习的分离(扩展摘要)。 国际JCAI 2013 : 2972-2976 [i7] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 杰苏斯·吉尔德斯·克鲁 , 乔迪·利维 :
SAT公式的分形维数。 CoRR公司 abs/1308.5046 ( 2013 ) 2012 [公元17年] 玛丽亚·路易莎·博内 , 西蒙·林茨 , 凯瑟琳·圣约翰 :
寻找多重解决方案解决中间性和四方兼容性的复杂性。 IEEE ACM传输。 计算。 生物信息。 9 ( 1 ) : 273-285 ( 2012 ) [公元30年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , 朱敏莉 :
伪工业MaxSAT实例的分析和生成。 CCIA公司 2012 : 173-184 [公元29年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔尔·加巴斯 , 乔迪·利维 :
改进基于SAT的加权MaxSAT解算器。 人物配对关系 2012 : 86-101 [公元28年] 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
改进了常规解析与池解析和子句学习的分离。 坐 2012 : 44-57 [i6] 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
改进了常规解析与池解析和子句学习的分离。 CoRR公司 abs/1202.2296 ( 2012 ) [i5] 玛丽亚·路易莎·博内 , 萨姆·巴斯 , 简·约翰森 :
改进了常规解析与子句学习证明系统的分离。 CoRR公司 腹肌/1208.2469 ( 2012 ) 2011 [i4] 玛丽亚·路易莎·博内 , 西蒙·林茨 , 凯瑟琳·圣约翰 :
寻找多重解决方案解决中间性和四方兼容性的复杂性。 CoRR公司 abs/1101.2170 ( 2011 ) 2010 [公元16年] 玛丽亚·路易莎·博内 , 凯瑟琳·圣约翰 :
关于uSPR距离的复杂性。 IEEE ACM传输。 计算。 生物信息。 7 ( 三 ) : 572-576 ( 2010 ) [公元27年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
加权部分MaxSAT的一种新算法。 AAAI公司 2010 : 3-8 [公元26年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
通过SAT求解MaxSAT。 POS@SAT 2010 : 41-48
2000 – 2009
2009 [公元25年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
通过SAT求解MaxSAT。 CCIA公司 2009 : 284-292 [公元24年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
工业卫星实例的结构。 人物配对关系 2009 : 127-141 【c23】 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
面向类似工业的随机SAT实例。 国际JCAI 2009 : 387-392 [公元22年] 玛丽亚·路易莎·博内 , 凯瑟琳·圣约翰 :
使用SAT高效计算进化树度量。 坐 2009 : 4-17 【c21】 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
通过可满足性测试求解(加权)部分MaxSAT。 坐 2009 : 427-440 2008 [公元20年] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
测量SAT实例的硬度。 AAAI公司 2008 : 222-228 [第19条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
随机SAT实例。 CCIA公司 2008 : 109-117 2007 [公元15年] 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
Max-SAT分辨率。 Artif公司。 智力。 171 ( 8-9 ) : 606-618 ( 2007 ) [第18条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
加权CSP中高阶一致性的推理规则。 AAAI公司 2007 : 167-172 [第17条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
什么是真实世界SAT实例? CCIA公司 2007 : 19-28 [第16条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , 费利普·马尼 :
加权CSP背后的逻辑。 国际JCAI 2007 : 32-37 [第15条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
符号Max-SAT的完全分解演算。 ISMVL公司 2007 : 22 [第14条] 卡洛斯·安索特吉 , 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
将CSP映射到多值SAT。 坐 2007 : 10-15 2006 [公元14年] 玛丽亚·路易莎·博内 , 凯瑟琳·圣约翰 , 鲁奇·马欣德鲁 , 尼娜·阿蒙塔 :
系统发育之间子树距离的近似值。 J.计算。 生物。 13 ( 8 ) : 1419-1434 ( 2006 ) [第13条] 玛丽亚·路易莎·博内 , 乔迪·利维 , Felip Manyá :
Max-SAT的完整微积分。 坐 2006 : 240-251 2004 [j13] 玛丽亚·路易莎·博内 , 卡洛斯·多明戈 , 里卡德·加瓦尔达 , 亚历克西斯·马谢尔 , 托尼安·皮塔西 :
有界深度Frege校对的非自动化。 计算。 复杂。 13 ( 1-2 ) : 47-68 ( 2004 ) [公元12年] 阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 :
解析和相关命题证明系统的自动化。 Inf.计算。 189 ( 2 ) : 182-201 ( 2004 ) 2003 [公元11年] 玛丽亚·路易莎·博内 , 尼古拉·加莱西 :
修正鸽子洞原理的度复杂度。 架构(architecture)。 数学。 日志。 42 ( 5 ) : 403-414 ( 2003 ) [i3] 阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 , 乔迪·利维 :
关于Chvatal秩和割平面的证明。 电子。 计算机学术讨论会。 复杂。 TR03型 ( 2003 ) 2002 [公元10年] 阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 , 胡安·路易斯·埃斯特班 :
弱鸽子洞原理的下限和超越分辨率的随机公式。 Inf.计算。 176 ( 2 ) : 136-152 ( 2002 ) [第12条] 阿尔伯特·阿特塞里亚斯 , 玛丽亚·路易莎·博内 :
关于分解和相关命题证明系统的自动化。 CSL公司 2002 : 569-583 [i2] 阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 :
关于分解和相关命题证明系统的自动化。 电子。 计算机学术讨论会。 复杂。 TR02型 ( 2002 ) 2001 [公元9年] 玛丽亚·路易莎·博内 , 尼古拉·加莱西 :
分辨率的尺寸-宽度权衡的最佳性。 计算。 复杂。 10 ( 4 ) : 261-276 ( 2001 ) [第11条] 阿尔伯特·阿塞里亚斯 , 玛丽亚·路易莎·博内 , 胡安·路易斯·埃斯特班 :
超分辨率弱鸽子洞原理的下限。 ICALP公司 2001 : 1005-1016 2000 [j8] 玛丽亚·路易莎·博内 , 托尼安·皮塔西 , 然·拉茨 :
弗雷格系统的插值与自动化。 SIAM J.计算。 29 ( 6 ) : 1939-1967 ( 2000 ) [j7] 玛丽亚·路易莎·博内 , 胡安·路易斯·埃斯特班 , 尼古拉·加莱西 , 简·约翰森 :
关于分辨精化和切割平面证明系统的相对复杂性。 SIAM J.计算。 30 ( 5 ) : 1462-1484 ( 2000 )
1990 – 1999
1999 [j6] 玛丽亚·路易莎·博内 , 辛西娅·菲利普斯 , 坦迪·J·沃诺 , Shibu Yooseph公司 :
在多形性特征存在下构建进化树。 SIAM J.计算。 29 ( 1 ) : 103-131 ( 1999 ) [第10条] 玛丽亚·路易莎·博内 , 卡洛斯·多明戈 , 里卡德·加瓦尔达 , 亚历克西斯·马谢尔 , 托尼安·皮塔西 :
有界深度Frege证明的非自动化。 CCC公司 1999 : 15-23 【c9】 玛丽亚·路易莎·博内 , 尼古拉·加莱西 :
解析和多项式微积分的证明搜索算法研究。 光纤通信系统 1999 : 422-432 1998 [j5] 玛丽亚·路易莎·博内 , 迈克·A·斯蒂尔 , 坦迪·J·沃诺 , Shibu Yooseph公司 :
解决吝啬和兼容性的更好方法。 J.计算。 生物。 5 ( 三 ) : 391-407 ( 1998 ) 【c8】 玛丽亚·路易莎·博内 , 胡安·路易斯·埃斯特班 , 尼古拉·加莱西 , 简·约翰森 :
限制分辨率和切割平面证明系统之间的指数分离。 光纤通信系统 1998 : 638-647 【c7】 玛丽亚·路易莎·博内 , 迈克·A·斯蒂尔 , 坦迪·J·沃诺 , Shibu Yooseph公司 :
解决简约性和兼容性的更好方法。 重组 1998 : 40-49 [i1] 玛丽亚·路易莎·博内 , 胡安·路易斯·埃斯特班 , 尼古拉·加莱西 , 简·约翰森 :
限制分辨率和切割平面证明系统之间的指数分离。 电子。 计算机学术讨论会。 复杂。 TR98型 ( 1998 ) 1997 【j4】 玛丽亚·路易莎·博内 , 托尼安·皮塔西 , 然·拉茨 :
小系数切割平面证明的下限。 J.塞姆。 日志。 62 ( 三 ) : 708-728 ( 1997 ) 【c6】 玛丽亚·路易莎·博内 , 尼古拉·加莱西 :
含代换Frege系统的线性下限与仿真。 CSL公司 1997 : 115-128 [c5] 玛丽亚·路易莎·博内 , 托尼安·皮塔西 , 然·拉茨 :
TC0-Frege证明没有可行的插值。 光纤通信系统 1997 : 254-263 1996 【c4】 玛丽亚·路易莎·博内 , 辛西娅·菲利普斯 , 坦迪·J·沃诺 , Shibu Yooseph公司 :
从多态性特征推断进化树,并分析印欧语系。 数学层次与生物学 1996 : 43-56 【c3】 玛丽亚·路易莎·博内 , 辛西娅·菲利普斯 , 坦迪·J·沃诺 , Shibu Yooseph公司 :
在多形性特征存在下构建进化树。 STOC公司 1996 : 220-229 1995 [j3] 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
树的串行传递闭包问题。 SIAM J.计算。 24 ( 1 ) : 109-122 ( 1995 ) 【c2】 玛丽亚·路易莎·博内 , 托尼安·皮塔西 , 然·拉茨 :
用小系数证明切割平面的下限。 STOC公司 1995 : 575-584 1994 [注2] 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
布尔公式的大小-深度权衡。 信息处理。 莱特。 49 ( 三 ) : 151-155 ( 1994 ) 1993 [j1] 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
演绎规则与线性和近线性证明模拟。 J.塞姆。 日志。 58 ( 2 ) : 688-709 ( 1993 ) 1991 【c1】 玛丽亚·路易莎·博内 , 塞缪尔·巴斯 :
关于扣除规则和证明线数量。 低收入国家 1991 : 286-297