×

找到575个文档(结果1-100)

隐式和显式双线性乘积RLT割的有效分离。 (英语) Zbl 07763004号

Del Pia,Alberto(编辑)等人,《整数规划和组合优化》。第24届国际会议,IPCO 2023,美国威斯康星州麦迪逊,2023年6月21日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13904, 14-28 (2023).
PDF格式BibTeX公司 XML格式引用

分支和剪切的抽象模型。 (英语) Zbl 1497.90132号

Aardal,Karen(编辑)等,整数规划和组合优化。第23届国际会议,IPCO 2022,荷兰埃因霍温,2022年6月27日至29日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13265, 333-346 (2022).
PDF格式BibTeX公司 XML格式引用

二元多项式优化的简单奇(β)-圈不等式。 (英语) Zbl 1497.90144号

Aardal,Karen(编辑)等,整数规划和组合优化。第23届国际会议,IPCO 2022,荷兰埃因霍温,2022年6月27日至29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13265, 181-194 (2022).
PDF格式BibTeX公司 XML格式引用

关于分支和切割的权力和限制。 (英语) Zbl 07711588号

Kabanets,Valentine(编辑),第36届计算复杂性会议,CCC 2021,加拿大安大略省多伦多,虚拟会议,2021年7月20日至23日。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。200,第6条,第30页(2021年)。
MSC公司:第68季度25
PDF格式BibTeX公司 XML格式引用

混合整数优化中分枝定界平面和切割平面的复杂性。二、。 (英语) Zbl 1483.90083号

Singh,Mohit(编辑)等人,《整数规划和组合优化》。第22届国际会议,IPCO 2021,美国佐治亚州亚特兰大,2021年5月19-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12707, 383-398 (2021).
PDF格式BibTeX公司 XML格式引用

全序多重背包集的多重覆盖不等式。 (英语) Zbl 1482.90180号

Singh,Mohit(编辑)等人,《整数规划和组合优化》。第22届国际会议,IPCO 2021,美国佐治亚州亚特兰大,2021年5月19-21日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12707, 193-207 (2021).
MSC公司:90C27型
PDF格式BibTeX公司 XML格式引用

关于Chvátal-Gomory闭包的推广。 (英语) Zbl 1503.90074号

Daniel Bienstock(编辑)等人,《整数规划和组合优化》。第21届国际会议,IPCO 2020,英国伦敦,2020年6月8日至10日,会议记录。查姆:斯普林格。莱克特。注释计算。科学。12125, 117-129 (2020).
MSC公司:90立方厘米
PDF格式BibTeX公司 XML格式引用

关于分支证明的复杂性。 (英语) Zbl 07561762号

Saraf,Shubhangi(编辑),第35届计算复杂性会议,CCC 2020,2020年7月28日至31日,德国萨尔布吕肯,虚拟会议。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。169,第34条,第35页(2020)。
MSC公司:第68季度25
PDF格式BibTeX公司 XML格式引用

PB解决者的弱化策略。 (英语) Zbl 07331030号

Pulina,Luca(编辑)等人,《可满足性测试的理论和应用——SAT 2020》。第23届国际会议,意大利阿尔盖罗,2020年7月3日至10日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12178, 322-331 (2020).
PDF格式BibTeX公司 XML格式引用

在某些束方法的基础上构造混合算法。 (英语) Zbl 1460.90139号

Kochetov,Yury(编辑)等人,《数学优化理论和运筹学》。第19届国际会议,2020年7月6日至10日,俄罗斯新西伯利亚,MOTOR 2020。修改选定的论文。查姆:斯普林格。Commun公司。计算。信息科学。1275, 150-163 (2020).
MSC公司:90C25型
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动切割平面是NP-hard。 (英语) Zbl 07298231号

Makarychev,Konstantin(ed.)等人,第52届ACM SIGACT计算理论年度研讨会论文集,STOC’20,芝加哥,伊利诺伊州,美国,2020年6月22日至26日。纽约州纽约市:计算机协会(ACM)。68-77 (2020).
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用

Horn约束系统割平面证明的新结果。 (英语) Zbl 07650340号

Chattopadhyay,Arkadev(ed.)等人,第39届IARCS软件技术和理论计算机科学基础年会,2019年12月11-13日,印度孟买,FSTTCS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150,第43条,第14页(2019年)。
MSC公司:68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于最小有效函数的扰动空间:逆半群理论和等变分解定理。 (英语) Zbl 1436.90084号

Lodi,Andrea(编辑)等人,《整数规划和组合优化》。2019年IPCO第20届国际会议,2019年5月22日至24日,美国密歇根州安娜堡。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11480, 247-260 (2019).
MSC公司:90立方厘米
PDF格式BibTeX公司 XML格式引用
全文: 内政部

0-1编程的一致性。 (英语) Zbl 1525.90268号

卢梭、路易斯·马汀(编辑)等,《约束编程、人工智能和运筹学的集成》。2019年CPAIOR第16届国际会议,2019年6月4日至7日,希腊塞萨洛尼基。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11494, 225-240 (2019).
PDF格式BibTeX公司 XML格式引用

刺平面。 (英语) 兹比尔1462.68077

Karlin,Anna R.(编辑),第九届理论计算机科学创新会议,ITCS 2018,美国马萨诸塞州剑桥,2018年1月11-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。94,第10条,第20页(2018年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

软件