Noun
satisfiability (countable and uncountable, plural satisfiabilities)
(mathematics, of a proposition or formula) The property of being able to be satisfied.
As noted above, this is the Cook–Levin theorem ; its proof that satisfiability is NP-complete contains technical details about Turing machines as they relate to the definition of NP. Source: Internet
Note that the tautology problem for positive Boolean formulae remains co-NP complete, even though the satisfiability problem is trivial, as every positive Boolean formula is satisfiable. Source: Internet
It can be seen as P's version of the Boolean satisfiability problem. Source: Internet
Particularly in hardware design and verification applications, satisfiability and other logical properties of a given propositional formula are sometimes decided based on a representation of the formula as a binary decision diagram (BDD). Source: Internet
The Boolean satisfiability problem is one of many such NP-complete problems. Source: Internet
The Boolean satisfiability problem (SAT) is, given a formula, to check whether it is satisfiable. Source: Internet