Optimal stopping methods for finding high quality solutions to satisfiability problems with preferences.