| Article ID: | iaor20173613 |
| Volume: | 69 |
| Issue: | 1 |
| Start Page Number: | 157 |
| End Page Number: | 182 |
| Publication Date: | Sep 2017 |
| Journal: | Journal of Global Optimization |
| Authors: | Neumaier Arnold, Fendl Hannes |
| Keywords: | heuristics |
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.