On Irrelevant Literals in Pseudo-Boolean Constraint Learning.

Daniel Le Berre, Pierre Marquis, Stefan Mengel, Romain Wallon

Browse the full IJCAI paper archive.