Computing All Optimal Solutions in Satisfiability Problems with Preferences