Answer Set Programming based on Propositional Satisfiability