| 演題番号 | 3J1-OS7-3 |
|---|---|
| 題目 | QMaxSAT: Q-dai MaxSAT ソルバー |
| 著者 | 越村 三幸(九州大学大学院システム情報科学研究院情報学部門) 安 宣烨(九州大学大学院システム情報科学府情報学専攻) 藤田 博(九州大学大学院システム情報科学研究院情報学部門) 長谷川 隆三(九州大学大学院システム情報科学研究院情報学部門) |
| 時間 | 06月03日(Fri) 09:30〜09:50 |
| 概要 | SAT問題が充足不能の場合，どの程度充足不能なのかに答えるのがMax-SATである． 本発表では，厳密解を求めるソルバーQMaxSATの実装法の概説を行う． QMaxSATは，系統的SATソルバーを繰り返し適用してMax-SAT解を求める． 幾つかの版について，その性能を実験的に比較する． |
| 論文 | PDFファイル |