Projection Global Consistency: Application in AI Planning Pavel Surynek Charles University, Prague Czech Republic.