Improved Exponential Algorithms For Sat And Clsp