规划问题编码成SAT问题研究

规划问题编码成SAT问题研究

陈蔼祥

Research on encoding planning problem into SAT

CHEN Ai-xiang

计算机工程与应用 . 2009, (14): 39 -45 . DOI: 10.3778/j.issn.1002-8331.2009.14.011