Jain, S.; Sabharwal, A.; Sellmann, M. A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. AAAI 2011, 25, 48-53.