Efficient Explanations for Knowledge Compilation Languages