Сведение задачи SAT к задаче о клике

[0101]

Подскажите, пожалуйста, практическое описание сведения задачи выполнимости булевых формул к задаче о клике.
Т.е., если задана булева формула, как определить ее выполнимость построением соответсвующего графа и поиска клик.

[sup]

Сведение к задаче о клике имеется в книге

Кормен, Лейзерсон, Ривест
Алгоритмы, построение и анализ

А уж как искать клику ...

[0101]

Спасибо! Булева формула конкретная, может получиться хороший граф для клики.