通过非光滑优化获得不可行性证书
最优化与控制
2015-06-30 v1
摘要
约束满足问题求解过程的一个重要方面是识别排除盒（即不包含可行点的盒）。本文提出了一种不可行性证书，通过求解线性约束非光滑优化问题来寻找此类盒。此外，所构造的证书可通过求解非线性约束非光滑优化问题来扩大排除盒。
引用
@article{arxiv.1506.08338,
title = {Certificates of infeasibility via nonsmooth optimization},
author = {Hannes Fendl and Arnold Neumaier and Hermann Schichl},
journal= {arXiv preprint arXiv:1506.08338},
year = {2015}
}
备注
arXiv admin note: substantial text overlap with arXiv:1506.08021