2024-03-29T22:44:49Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001694462022-12-26T23:54:13Z00001:08403:08411
SAT技術の進化と応用 〜パズルからプログラム検証まで〜:5. SATソルバーの最近の進展SAT Evolution and Applications:5. Recent Topics of SAT Solversjpn特集http://id.nii.ac.jp/1001/00169412/Departmental Bulletin Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=169446&item_no=1&attribute_id=1&file_no=1Copyright (c) 2016 by the Information Processing Society of Japan山梨大学山梨大学国立情報学研究所/総合研究大学院大学/東京工業大学鍋島, 英知岩沼, 宏治井上, 克巳命題論理の充足可能性判定(SAT)問題を解くソルバーは,矛盾からの節学習アルゴリズムによる性能向上を契機としてさまざまな分野で利用が進み,それとともにソルバーの技術開発も活発かつ継続的に行われている.本稿では,最新のSAT競技会における成果を軸に,最新の逐次型および並列型SATソルバーにおける技術を紹介する.AN00116625情報処理5787247292016-07-152016-07-11