On Irrelevant Literals in Pseudo-Boolean Constraint Learning

Open in new window