Theory and Applications of Satisfiability Testing | lit.salon