Abstract: The planning solution based on constraint satisfaction problem（CSP） is one of the most important methods of researching intelligent planning. Encoding planning problems into CSPs play a major role in planning solving. In this paper, we focus on the encodi

Key words: Planning problem, CSP, SAT, Domain knowledge