Skip to content
数理科学広域演習 IV レポート
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.gitignore
README.md
defn.tex
intro.tex
koudou.rel
koudou.tex
main.rel
main.tex
prelim.tex
ref.bib
ref.tex
submitted.pdf
ulinej.sty

README.md

SAT-solver-AI-project

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

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

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

You can’t perform that action at this time.