It describes how to translate Boolean formulas in conjunctive normal form (CNF) into equivalent instances of the maximum clique problem.
Acesta descrie modul de a traduce formule booleene în formă normală conjunctivă⁠(d) (CNF) în instanțe echivalente de probleme a clicii maxime.