"satisfiability" - key terms from Wikipedia