Categories recording Partially Grounded Planning as Quantified Boolean Formula Post date June 20, 2013 ICAPS 2013: Michael Cashmore - Partially Grounded Planning as Quantified Boolean FormulaWatch this video on YouTube Michael Cashmore, Maria Fox, Enrico GiunchigliaPartially Grounded Planning as Quantified Boolean Formula ← ICAPS 2012 Closing Remarks → Coupling Problems in Planning and Acting