Sabharwal, Ashish, IBM T. J. Watson Research Center, United States
-
Twenty-Fifth AAAI Conference on Artificial Intelligence - Constraints, Satisfiability, and Search
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT
Abstract PDF