Emanuele Di Rosa, Enrico Giunchiglia, Marco Maratea. Computing All Optimal Solutions in Satisfiability Problems with Preferences. In Peter J. Stuckey, editor, Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings. Volume 5202 of Lecture Notes in Computer Science, pages 603-607, Springer, 2008. [doi]
Abstract is missing.