@article{oai:ipsj.ixsq.nii.ac.jp:00169442,
 author = {番原, 睦則 and 鍋島, 英知 and BANBARA, Mutsunori and NABESHIMA, Hidetomo},
 issue = {8},
 journal = {情報処理},
 month = {Jul},
 note = {近年，命題論理の充足可能性判定（SAT）問題を解くSATソルバーの性能が飛躍的に向上し，プログラム検証，プランニング，スケジューリング，制約充足問題などさまざまな分野への実用的応用が急速に拡大している．本稿では，SATソルバーに関する進化とSATに関係する計算問題の進化の2点について概観する．前者では，最近のSATソルバー競技会の結果も含め，SATソルバーの歴史的変化の過程について解説する．後者では，SATをルートとして，制約充足問題, SMT, MaxSATなどへの広がりについて述べる．},
 pages = {704--709},
 title = {SAT技術の進化と応用 〜パズルからプログラム検証まで〜：1．SAT技術の進化},
 volume = {57},
 year = {2016}
}