Certificates of infeasibility via nonsmooth optimization

Hannes Fendl, Arnold Neumaier () and Hermann Schichl ()
Additional contact information
Hannes Fendl: University of Vienna Austria
Arnold Neumaier: University of Vienna Austria
Hermann Schichl: University of Vienna Austria

Journal of Global Optimization, 2017, vol. 69, issue 1, No 8, 157-182

Abstract: Abstract 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.

Keywords: Global optimization; Nonsmooth optimization; Certificate of infeasibility; 90C26; 90C56; 90C57 (search for similar items in EconPapers)
Date: 2017
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://link.springer.com/10.1007/s10898-016-0473-x Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:jglopt:v:69:y:2017:i:1:d:10.1007_s10898-016-0473-x

Ordering information: This journal article can be ordered from
http://www.springer. ... search/journal/10898

DOI: 10.1007/s10898-016-0473-x

Access Statistics for this article

Journal of Global Optimization is currently edited by Sergiy Butenko

More articles in Journal of Global Optimization from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().