TY - RPRT TI - Certificates of infeasibility via nonsmooth optimization AU - Hannes Fendl AU - Arnold Neumaier AU - Hermann Schichl PY - 2015 UR - https://arxiv.org/abs/1506.08338 ID - 1506.08338 ER -