Marco Gavanelli
-
Algorithms for solving satisfiability problems with qualitative preferences
Correct Reasoning