本書は、最適化問題、自動計画、パズルといった問題について、定式化と解くためのプログラミング手法（アルゴリズム）を、最適化（MIP）と制約プログラミング（CSP,SAT,SMT）のそれぞれの視点から解説したものです。