Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques