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

Emanuele Di Rosa, Enrico Giunchiglia, Barry O'Sullivan

Browse the full SAC paper archive.