Return to Article Details Compact Tree Encodings for Planning as QBF Download Download PDF