Certificates of infeasibility via nonsmooth optimization

Hannes Fendl, Arnold Neumaier, Hermann Schichl

Publications: Contribution to journalArticlePeer 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.
Original languageEnglish
Pages (from-to)157–182
Number of pages26
JournalJournal of Global Optimization
Volume69
Issue number1
Early online date28 Oct 2016
DOIs
Publication statusPublished - Sep 2017

Austrian Fields of Science 2012

  • 101016 Optimisation

Keywords

  • CONSTRAINT SATISFACTION
  • Certificate of infeasibility
  • Global optimization
  • IMPLEMENTATION
  • Nonsmooth optimization

Fingerprint

Dive into the research topics of 'Certificates of infeasibility via nonsmooth optimization'. Together they form a unique fingerprint.

Cite this