Worst-case Analysis, 3-SAT Decision and Lower Bounds: Approaches for Improved SAT Algorithms