Certificates of infeasibility via nonsmooth optimization

Hannes Fendl; Arnold Neumaier; Hermann Schichl

doi:10.1007/s10898-016-0473-x

Certificates of infeasibility via nonsmooth optimization

Hannes Fendl, Arnold Neumaier, Hermann Schichl

Institut für Mathematik

Veröffentlichungen: Beitrag in Fachzeitschrift › Artikel › Peer Reviewed

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.

Originalsprache	Englisch
Seiten (von - bis)	157–182
Seitenumfang	26
Fachzeitschrift	Journal of Global Optimization
Jahrgang	69
Ausgabenummer	1
Frühes Online-Datum	28 Okt. 2016
DOIs	https://doi.org/10.1007/s10898-016-0473-x
Publikationsstatus	Veröffentlicht - Sept. 2017

ÖFOS 2012

101016 Optimierung

Zugriff auf Dokument

10.1007/s10898-016-0473-x

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Zitationsweisen

@article{ef0e14b0ca8e40a78470960c4a3e9666,

title = "Certificates of infeasibility via nonsmooth optimization",

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 = "CONSTRAINT SATISFACTION, Certificate of infeasibility, Global optimization, IMPLEMENTATION, Nonsmooth optimization",

author = "Hannes Fendl and Arnold Neumaier and Hermann Schichl",

note = "Publisher Copyright: {\textcopyright} 2016, The Author(s).",

year = "2017",

month = sep,

doi = "10.1007/s10898-016-0473-x",

language = "English",

volume = "69",

pages = "157–182",

journal = "Journal of Global Optimization",

issn = "0925-5001",

number = "1",

}

TY - JOUR

T1 - Certificates of infeasibility via nonsmooth optimization

AU - Fendl, Hannes

AU - Neumaier, Arnold

AU - Schichl, Hermann

PY - 2017/9

Y1 - 2017/9

N2 - 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.

AB - 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.

KW - CONSTRAINT SATISFACTION

KW - Certificate of infeasibility

KW - Global optimization

KW - IMPLEMENTATION

KW - Nonsmooth optimization

UR - http://www.scopus.com/inward/record.url?scp=84992699202&partnerID=8YFLogxK

U2 - 10.1007/s10898-016-0473-x

DO - 10.1007/s10898-016-0473-x

M3 - Article

SN - 0925-5001

VL - 69

SP - 157

EP - 182

JO - Journal of Global Optimization

JF - Journal of Global Optimization

IS - 1

ER -

Certificates of infeasibility via nonsmooth optimization

Abstract

ÖFOS 2012

Zugriff auf Dokument

Andere Dateien und Links

Fingerprint

Zitationsweisen