Finding the Next Solution in Constraint- and Preference-Based Knowledge Representation Formalisms