Algorithms for Solving Satisfiability Problems with Qualitative Preferences