MISC

2017年2月

Application of SAT-solver for AI on SamurAI Coding 2016-17

  • Kazune Takahashi

記述言語
日本語
掲載種別
速報,短報,研究ノート等(大学,研究機関紀要)

Open report for Exercise of Mathematical Science IV, 2016.

リンク情報
URL
https://github.com/kazunetakahashi-thesis/SAT-solver-AI-project