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