氏名 | 上田 和紀 |
---|---|
ふりがな | うえだ かずのり |
所属 | 早稲田大学理工学術院情報理工学科 |
題目 | 1B5-6 LMNtal 並列モデル検査における 状態生成数削減及び高速化 |
---|---|
著者 | 安田 竜 上田 和紀 吉田 健人 |
論文 | PDFファイル |
題目 | 2J1-1 制約の静的解析を用いたHydLa処理系の最適化 |
---|---|
著者 | 河野 文彦 松本 翔太 上田 和紀 |
論文 | PDFファイル |
題目 | 2E4-OS-09a-7 Literal Block Distanceに基づく学習節共有を行う並列SATソルバGlucans |
---|---|
著者 | 徐 暁雋 松本 翔太 上田 和紀 |
論文 | PDFファイル |