Solving Hard Graph Problems With Combinatorial Computing And Optimization