RintanenさんのPlanningをSATソルバを使って解く一連の論文の2010のもの Planning-specificなheuristicをSATソルバに入れることで、satソルバの探索を効率的に行うというもので、Rintanen 2011で構築されたプランナM, Mpに取り込まれている技術のうちの一つ…

Alignment in C(Haase; 2014)https://wr.informatik.uni-hamburg.de/_media/teaching/wintersemester_2013_2014/epc-14-haase-svenhendrik-alignmentinc-paper.pdf CのAlignmentについての簡潔な説明である。 日本語の非常に詳細で有名な解説ページは下のも…

Jussi Rintanenhttps://users.ics.aalto.fi/rintanen/jussi/氏のPlanning as SAThttps://users.ics.aalto.fi/rintanen/satplan.htmlに関連する一連の著作についてのメモである。 この論文Planning with Specialized SAT Solvershttps://users.ics.aalto.fi/r…