Conflict-Driven Learning In Ai Planning State-Space Search