C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.
Siddhartha Jain
Ashish Sabharwal
Meinolf Sellmann
Published in:
AAAI (2011)
Keyphrases
</>
multi valued
special case
relational databases
temporal logic