Definitions
from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun mathematics The condition of being
unsatisfiable
Etymologies
from Wiktionary, Creative Commons Attribution/Share-Alike License
un- + satisfiability
Support
Help support Wordnik (and make this page ad-free) by adopting the word unsatisfiability.
Examples
-
In any event, all the paths in the above matrix are complementary and this fact establishes the unsatisfiability of the original formula.
Automated Reasoning Portoraro, Frederic 2005
-
However, it's not uncommon for SAT solvers to prove the unsatisfiability of a formula that big.
-
demonstrates Steven unsatisfiability notifying prototyped skewed….
Comments
Log in or sign up to get involved in the conversation. It's quick and easy.