「SAT問題と他の制約問題との相互発展」という論文がソフトウェア科学会の「コンピュータソフトウェア」誌に掲載されました。 http://dx.doi.org/10.11309/jssst.32.1_103

SAT問題とSATソルバの、その周辺の問題クラスや研究分野との相互の発展を、
* 述語論理への一般化
* 最適化・算術への一般化
* より算術的な方向
の3つの方向性から整理して紹介したサーベイ論文になっていますので、興味のある方は御覧下さい。