Certified Infeasibility

I chose this name because of a result that I found when researching the use of unconstrained formulations to solve constrained ones, specifically QUBOs to solve linearly constrained problems. Originally, I was just looking for a rigorous way of choosing a penalty multiplier for creating QUBOs. I gave a preview presentation at SIAM OP23 last year and have a partially done paper, but home life and work have taken priority.

The result that gave me the idea for the name is a certificate of infeasibility that the method provides. This seems potentially useful, so I hung onto it.