Back to Search
Start Over
Certificates of infeasibility via nonsmooth optimization
- Publication Year :
- 2016
- Publisher :
- Springer Nature, 2016.
-
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.<br />arXiv admin note: substantial text overlap with arXiv:1506.08021
- Subjects :
- Mathematical optimization
021103 operations research
Optimization problem
Control and Optimization
Applied Mathematics
Nonsmooth optimization
0211 other engineering and technologies
02 engineering and technology
Constraint satisfaction
Management Science and Operations Research
Certificate
Certificate of infeasibility
Computer Science Applications
Optimization and Control (math.OC)
90C26, 90C56, 90C57
FOS: Mathematics
Business, Management and Accounting (miscellaneous)
Global optimization
Mathematics - Optimization and Control
Mathematics
Subjects
Details
- Language :
- English
- Database :
- OpenAIRE
- Accession number :
- edsair.doi.dedup.....49ccb3c6d88b84849a0f16d31cf11e79