Daniel Berend Steven Skiena Yochai Twitto Combinatorial dominance guarantees for problems with infeasible solutions. 2008 5 ACM Transactions on Algorithms 1 http://doi.acm.org/10.1145/1435375.1435383 db/journals/talg/talg5.html#BerendST08