S. Jain, A. Sabharwal, and M. Sellmann, “A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT”, AAAI, vol. 25, no. 1, pp. 48–53, Aug. 2011.