1 code implementation • 31 Mar 2022 • Shriram Srinivasan, Kaarthik Sundar, Vitaliy Gyrya, Anatoly Zlotnik
We identify criteria based on the uniqueness of solutions under which the existence of a non-physical generalized solution found by a non-linear solver implies non-existence of a physical solution, i. e., infeasibility of the problem.