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