"propositional satisfiability" - related articles and key terms