Heuristic Planning with SAT(Rintanen; 2010)

Rintanen氏の論文シリーズ3号である。

と言っても順番が前後していて、先に記事を書いたRintanen.2010, Rintanen.2011がこの論文にインクリメンタルな改良を加えたものである。 この論文は17ページと厚めで、プランナM, Mpのベースになる技術がひと通り述べられている感じである。

(途中)