14:10 〜 14:30
[2M4-OS-11b-03] 節交換順序の記録方式に基づく決定的並列SATソルバーの提案
キーワード：決定的並列SATソルバー、ポートフォリオ型並列SATソルバー
SATソルバーの再現性は，SATを利用したアプリケーションの開発やデバッグにおいて重要となる．しかしながら再現性を担保した効率的な並列SATソルバーを実現するためには並列処理に関する専門知識とともに大きな手間が必要となる．本論文では，並列SATソルバーの再現性を実現するための新しい簡潔な手法を提案する．これは初回の求解におけるベースソルバー間の学習節交換に関する情報を記録する手法である．予備実験として再現性担保のために必要な情報量の評価実験を行い，学習節交換のタイミングと送信元スレッドIDを記録する手法が非常にコンパクトであることを示した．
講演PDFパスワード認証
論文PDFの閲覧にはログインが必要です。参加登録者の方は「参加者用ログイン」画面からログインしてください。あるいは論文PDF閲覧用のパスワードを以下にご入力ください。