Phase Transition Behavior in Knowledge Compilation