Defenition of the word Boolean satisfiability problem
-
Defenition of the word Boolean satisfiability problem
- The problem of determining if the variables of a given Boolean formula can be assigned in such a way as to make the formula evaluate to TRUE.
See other words