发送短信: Generalizing constraint satisfaction on trees: Hybrid tractability and variable elimination