Benjamin W. Wah Yixin Chen Constraint partitioning in penalty formulations for solving temporal planning problems. 187-231 2006 170 Artif. Intell. 3 http://dx.doi.org/10.1016/j.artint.2005.07.001 db/journals/ai/ai170.html#WahC06