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

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

Expand Messages
  • saneinvt
    How to do that? Can any n-CNF SAT problem be reduced to an equivalent (n-1)-CNF-SAT problem? Thanks
    Message 1 of 1 , 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
    Your message has been successfully submitted and would be delivered to recipients shortly.