A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SATSiddhartha JainAshish Sabharwalet al.2011AAAI 2011