Loading ...
Sorry, an error occurred while loading the content.

49how to convert a 4-CNF SAT problem into an equivalent 3-CNF?

Expand Messages
  • saneinvt
    Feb 9, 2002
    • 0 Attachment
      How to do that? Can any n-CNF SAT problem be reduced to an equivalent
      (n-1)-CNF-SAT problem?

      Thanks