Certificates of infeasibility via nonsmooth optimization

被引：0

作者：

Hannes Fendl

Arnold Neumaier

Hermann Schichl

机构：

[1] University of Vienna Austria,Faculty of Mathematics

来源：

Journal of Global Optimization | 2017年 / 69卷

关键词：

Global optimization; Nonsmooth optimization; Certificate of infeasibility; 90C26; 90C56; 90C57;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

An important aspect in the solution process of constraint satisfaction problems is to identify exclusion boxes which are boxes that do not contain feasible points. This paper presents a certificate of infeasibility for finding such boxes by solving a linearly constrained nonsmooth optimization problem. Furthermore, the constructed certificate can be used to enlarge an exclusion box by solving a nonlinearly constrained nonsmooth optimization problem.

引用

页码：157 / 182

页数：25

共 50 条

[1] Certificates of infeasibility via nonsmooth optimization
Fendl, Hannes
Neumaier, Arnold
Schichl, Hermann
[J]. JOURNAL OF GLOBAL OPTIMIZATION, 2017, 69 (01) : 157 - 182
[2] On primal and dual infeasibility certificates in a homogeneous model for convex optimization
Andersen, ED
[J]. SIAM JOURNAL ON OPTIMIZATION, 2000, 11 (02) : 380 - 388
[3] Certificates of linear mixed integer infeasibility
Andersen, Kent
Louveaux, Quentin
Weismantel, Robert
[J]. OPERATIONS RESEARCH LETTERS, 2008, 36 (06) : 734 - 738
[4] Simple Infeasibility Certificates for Attack Trees
Buldas, Ahto
Lenin, Aleksandr
Willemson, Jan
Charnamord, Anton
[J]. ADVANCES IN INFORMATION AND COMPUTER SECURITY, IWSEC 2017, 2017, 10418 : 39 - 55
[5] Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming
Liu, Minghui
Pataki, Gabor
[J]. MATHEMATICAL PROGRAMMING, 2018, 167 (02) : 435 - 480
[6] Exact duals and short certificates of infeasibility and weak infeasibility in conic linear programming
Minghui Liu
Gábor Pataki
[J]. Mathematical Programming, 2018, 167 : 435 - 480
[7] Certificates of Primal or Dual Infeasibility in Linear Programming
Erling D. Andersen
[J]. Computational Optimization and Applications, 2001, 20 : 171 - 183
[8] Infeasibility Certificates and the Complexity of the Core in Coalitional Games
Malizia, Enrico
Palopoli, Luigi
Scarcello, Francesco
[J]. 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2007, : 1402 - 1407
[9] Certificates of primal or dual infeasibility in linear programming
Andersen, ED
[J]. COMPUTATIONAL OPTIMIZATION AND APPLICATIONS, 2001, 20 (02) : 171 - 183
[10] Conic programming: Infeasibility certificates and projective geometry
Naldi, Simone
Sinn, Rainer
[J]. JOURNAL OF PURE AND APPLIED ALGEBRA, 2021, 225 (07)

← 1 2 3 4 5 →