Algorithms for the Satisfiability Problem | lit.salon