unsatisfiability
Noun
Meaning
unsatisfiability (countable and uncountable, plural unsatisfiabilities)
(mathematics) The condition of being unsatisfiable
Synonyms
Antonyms
Examples
Different SAT solvers will find different instances easy or hard, and some excel at proving unsatisfiability, and others at finding solutions.
The propositional formulas could then be checked for unsatisfiability using a number of methods.