Publications

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

• • Siddhartha Jain
  • Ashish Sabharwal
  • et al.
• 2011
• AAAI 2011