@article{oai:ipsj.ixsq.nii.ac.jp:00169446, author = {鍋島, 英知 and 岩沼, 宏治 and 井上, 克巳 and NABESHIMA, Hidetomo and IWANUMA, Koji and INOUE, Katsumi}, issue = {8}, journal = {情報処理}, month = {Jul}, note = {命題論理の充足可能性判定(SAT)問題を解くソルバーは,矛盾からの節学習アルゴリズムによる性能向上を契機としてさまざまな分野で利用が進み,それとともにソルバーの技術開発も活発かつ継続的に行われている.本稿では,最新のSAT競技会における成果を軸に,最新の逐次型および並列型SATソルバーにおける技術を紹介する.}, pages = {724--729}, title = {SAT技術の進化と応用 〜パズルからプログラム検証まで〜:5. SATソルバーの最近の進展}, volume = {57}, year = {2016} }