最小上界论文

论文摘要自动推理和规划是人工智能领域中两个重要的分支,同时也是难度非常大的课题。1971年Cook等证明了命题可满足问题（SAT问题）是NP完备的,1991年Chenoweth...