"satisfiability" -
key terms from Wikipedia
boolean
satisfiability
problem
determining
the
satisfiability
propositional
satisfiability
satisfiability
satisfiability
of
a
formula
satisfiability
problem
theory
and
applications
of
satisfiability