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

Published in: AAAI (2011)

Keyphrases