Adnan Darwiche Pierre Marquis Compilation of propositional weighted bases. 6-14 2002 conf/nmr/2002 NMR db/conf/nmr/nmr2002.html#DarwicheM02