Knowledge compilation is a family of approaches for addressing the intractability ofa number of artificial intelligence problems. A propositional model is compiled in an off-line phase in order to support some queries in polytime. Many ways of compiling a propositional models exist. Different compiled representations have different properties.The three main properties are: * The compactness of the representation * The queries that are supported in polytime * The transformations of the representations that can be performed in polytime