However, with use of the Tseytin transformation, we may find an equisatisfiable conjunctive normal form formula with length linear in the size of the original propositional logic formula.
however with use of the tseytin transformation we may find an equisatisfiable conjunctive normal form formula with length linear in the size of the original propositional logic formula