2017年2月 Application of SAT-solver for AI on SamurAI Coding 2016-17 Kazune Takahashi 記述言語 日本語 掲載種別 速報，短報，研究ノート等（大学，研究機関紀要） Open report for Exercise of Mathematical Science IV, 2016. リンク情報 URLhttps://github.com/kazunetakahashi-thesis/SAT-solver-AI-project エクスポート BibTeX RIS
