A constraint-based method for solving sequential manipulation planning problems
increasing tree search efficiency for constraint satisfaction problems .