Fixed-Parameter Tractable Reductions to SAT for Planning

Open in new window