講演・口頭発表等

2017年3月

SATソルバーの最新動向と利用技術

第19回プログラミングおよびプログラミング言語ワークショップ (PPL 2017)
  • 宋 剛秀
  • ,
  • 田村 直之

記述言語
日本語
会議種別
口頭発表(一般)
主催者
日本ソフトウェア科学会 プログラミング論研究会
開催地
華やぎの章 慶山 (山梨県・笛吹市)