A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.

Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann

Browse the full AAAI paper archive.