|
Related terms:
np
lor
acm
lnot
negation
problem
satisfiability
propositional
algorithm
determining whether
Wikipedia sources: NP-complete Tautology (logic) Boolean satisfiability problem Context for words: boolean satisfiability problem |
|