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 language | English |
---|---|
Pages (from-to) | 157–182 |
Number of pages | 26 |
Journal | Journal of Global Optimization |
Volume | 69 |
Issue number | 1 |
Early online date | 28 Oct 2016 |
DOIs | |
Publication status | Published - Sep 2017 |
Austrian Fields of Science 2012
- 101016 Optimisation
Keywords
- CONSTRAINT SATISFACTION
- Certificate of infeasibility
- Global optimization
- IMPLEMENTATION
- Nonsmooth optimization