Towards Understanding and Harnessing the Potential of Clause Learning