Return to Article Details When Both Grounding and Not Grounding Are Bad – a Partially Grounded Encoding of Planning into SAT Download Download PDF