Certificates of infeasibility via nonsmooth optimization

被引：0
|
作者：
Fendl, Hannes [1 ]
Neumaier, Arnold [1 ]
Schichl, Hermann [1 ]
机构：
[1] Univ Vienna Austria, Fac Math, Oskar Morgenstern Pl 1, Vienna, Austria
来源：
JOURNAL OF GLOBAL OPTIMIZATION | 2017年 / 69卷 / 01期
关键词：
Global optimization; Nonsmooth optimization; Certificate of infeasibility; CONSTRAINT SATISFACTION; IMPLEMENTATION;
D O I：
10.1007/s10898-016-0473-x
中图分类号：
C93 [管理学]; O22 [运筹学];
学科分类号：
070105 ; 12 ; 1201 ; 1202 ; 120202 ;
摘要：
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
页数：26
相关论文
共 50 条
  • [31] Constrained Nonconvex Nonsmooth Optimization via Proximal Bundle Method
    Yang, Yang
    Pang, Liping
    Ma, Xuefei
    Shen, Jie
    [J]. JOURNAL OF OPTIMIZATION THEORY AND APPLICATIONS, 2014, 163 (03) : 900 - 925
  • [32] Guaranteed steady state bounds for uncertain (bio-)chemical processes using infeasibility certificates
    Hasenauer, J.
    Rumschinski, P.
    Waldherr, S.
    Borchers, S.
    Allgoewer, F.
    Findeisen, R.
    [J]. JOURNAL OF PROCESS CONTROL, 2010, 20 (09) : 1076 - 1083
  • [33] Repairing Infeasibility in Scheduling via Genetic Algorithms
    Mencia, Raul
    Mencia, Carlos
    Varela, Ramiro
    [J]. FROM BIOINSPIRED SYSTEMS AND BIOMEDICAL APPLICATIONS TO MACHINE LEARNING, PT II, 2019, 11487 : 254 - 263
  • [34] Mixed H2/H∞ control via nonsmooth optimization
    Apkarian, P.
    Noll, D.
    Rondepierre, A.
    [J]. SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2008, 47 (03) : 1516 - 1546
  • [35] Finding Quadratic Schedules for Affine Recurrence Equations Via Nonsmooth Optimization
    Wolfgang Achtziger
    Karl-Heinz Zimmermann
    [J]. Journal of VLSI signal processing systems for signal, image and video technology, 2000, 25 : 235 - 260
  • [36] Finding quadratic schedules for affine recurrence equations via nonsmooth optimization
    Achtziger, W
    Zimmermann, KH
    [J]. JOURNAL OF VLSI SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, 2000, 25 (03): : 235 - 260
  • [37] Nonconvex and Nonsmooth Sparse Optimization via Adaptively Iterative Reweighted Methods
    Hao Wang
    Fan Zhang
    Yuanming Shi
    Yaohua Hu
    [J]. Journal of Global Optimization, 2021, 81 : 717 - 748
  • [38] Nonconvex and Nonsmooth Sparse Optimization via Adaptively Iterative Reweighted Methods
    Wang, Hao
    Zhang, Fan
    Shi, Yuanming
    Hu, Yaohua
    [J]. JOURNAL OF GLOBAL OPTIMIZATION, 2021, 81 (03) : 717 - 748
  • [39] An infeasibility objective for use in constrained Pareto optimization
    Wright, J
    Loosemore, H
    [J]. EVOLUTIONARY MULTI-CRITERION OPTIMIZATION, PROCEEDINGS, 2001, 1993 : 256 - 268
  • [40] Feasibility and Infeasibility in Optimization: Algorithms and Computational Methods
    Zilinskas, Antanas
    [J]. INTERFACES, 2009, 39 (03) : 292 - 295
12345