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.