Radical performance enhancements for combinatorial optimization algorithms based on the dead-end elimination theorem