SDP(半正定値計画)の感覚を知りたくて、最近なんとなく Semidefinite Optimization Approaches for Satisfiability and Maximum-Satisfiability Problems なんてのを読んでるのだけれど、なかなか苦戦中。