Techniques for Conditioning Hard-to-Solve Cases