Вы здесь

satisfiability checking