2016-05-21から1日間の記事一覧

Planning with SAT, Admissible Heuristics and A*(Rintanen; 2011)

Rintanen氏のPlanning as SAT論文4号の解説である。 先に紹介した3つの論文では対象はPlanのOptimalityとしてsatisfiableを想定したものであった。 この論文ではより高度なOptimality(というかsatisfiableはOptimalityをなにも保証していない)を保証するよう…

Introduction to x86 Assembly(Martin Hirzel, 2011)

https://cs.nyu.edu/courses/fall11/CSCI-GA.2130-001/x64-intro.pdf x86のアセンブリはじめの一歩である。 Intelのdevelopers guideを読もうかと思ったら4000ページくらいあったので4ページのこの文書と、 こちらの14ページ公式チュートリアルをまずは読も…

Heuristic Planning with SAT(Rintanen; 2010)

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