Satisfiability problem

Материал из WEGA

Satisfiability problem --- задача о выполнимости.