Similar Items: Stochastic Local Search Approaches for Satisfiability Problem (SAT) with Preferences /