06月12日(Tue) 15:30〜20:00 E会場(-山口県教育会館／第四研修室(72))
| 演題番号 | 1E3-OS-4-4 |
|---|---|
| 題目 | 学習節評価尺度LBDに基づく並列SATソルバーの提案 |
| 著者 | 大橋 弘幸(国立大学法人 山梨大学 工学部 コンピュータメディア工学科 Gコース) 鍋島 英知(山梨大学大学院医学工学総合研究部) |
| 時間 | 06月12日(Tue) 16:30〜16:50 |
| 概要 | 本稿では学習節評価尺度LBDに基づく並列SATソルバーを提案する．矛盾からの節学習を行うCDCLソルバーでは学習し蓄積した節の取捨選択が重要となる．逐次型SATソルバーでは学習節評価尺度LBDが，特に充足不能の判定に対して優れた性能を示している．一方でマルチコア環境の普及に伴い高速並列SATソルバーが求められており，本稿ではLBDに基づく並列SATソルバーを提案し，その性能を評価する． |
| 論文 | PDFファイル |