Combining approaches for solving satisfiability problems with qualitative preferences
Emanuele Di Rosa, Enrico Giunchiglia · AI Communications · 2013
The ability to effectively reason in the presence of qualitative preferences on literals or formulas is a central issue in Artificial Intelligence. In the last few years, two procedures have been presented in order to reason with propositional satisf