SAT-solver-AI-project

数理科学広域演習 IV レポート

SamurAI Coding 2016-17 のゲームで、領地の状態から敵の位置を推測する動作を SAT-Solver を使って解くという内容です。 予選通過は絶望的なので、今から公開します。 (2017/02/12 22:03)

補足：普段は研究科の講義や実習で作ったレポートは、公開しないようにしています。 しかし本レポートは、担当教員からは「公開して良い、むしろ公開を推奨する」と言われていますので、公開することにしました。