Before revision: Many ways of compiling a propositional models exist.Adnan Darwiche, Pierre Marquis, "A Knowledge Compilation Map", Journal of Artificial Intelligence Research 17 (2002) 229-264 Among others: NNF, DNNF, d-DNNF, BDD, SDD, MDD, DNF and CNF.
After revision: Many ways of compiling a propositional models exist.Adnan Darwiche, Pierre Marquis, "A Knowledge Compilation Map", Journal of Artificial Intelligence Research 17 (2002) 229-264