1F3-2 関数型言語HaskellによるSATソルバーの実装と比較

*セッションの無断動画配信はご遠慮下さい。

06月06日(Mon) 13:20〜15:00 F会場(36名-国際会議場 31会議室)
1F3 基礎・理論「制約充足」

演題番号	1F3-2
題目	関数型言語HaskellによるSATソルバーの実装と比較
著者	楢崎修二(長崎大学大学院工学研究科)
時間	06月06日(Mon) 13:40〜14:00
論文	PDFファイル