%0 Journal Article %T Solving satisfiability problems with preferences %A Di Rosa, Emanuele %A Giunchiglia, Enrico %A Maratea, Marco %J Constraints %V 15 %N 4 %P 485-515 %@ 1383-7133 %D 2010-07-03 %I Springer US %~ DeepDyve