|
Related terms:
np
lor
lnot
normal form
negation
determining whether
propositional
complexity
proof
algorithm
formula
problem
computer science
Wikipedia sources: NP-complete Boolean satisfiability problem Tautology (logic) Context for words: boolean satisfiability problem |
|