Reshaping State-Space Search: From Dominance to Contrastive Analysis.