情報処理学会誌「情報処理」人気特集号「SAT技術の進化と応用～パズルからプログラム検証まで～」の別刷デジタル版（iPad対応）。SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術まで
情報処理学会誌「情報処理」2016年8月号特集「SAT技術の進化と応用～パズルからプログラム検証まで～」の記事のみを抜き出した別刷(冊子)を入手可能にいたしました。本特集では、SAT技術の最近動向を踏まえつつ、SATの基礎から応用事例、関連技術までを分かりやすく解説することを目指しました。（解説記事執筆者他:番原睦則、鍋島英知、田村直之、宋 剛秀、藤田 博、越村三幸、井上克巳、岩沼宏治、石井大輔、上田和紀）
