FLjv77 / Reduction-for-k-SAT-problem-to-3-SAT Public

Notifications You must be signed in to change notification settings
Fork 0
Star 3

In polynomial computational complexity, convert k-SAT to 3-SAT, whatever k is greater than or less than 3

3 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
README.md		README.md
ReductionOfSATToSAT3.ipynb		ReductionOfSATToSAT3.ipynb

Repository files navigation

Reduction-for-k-SAT-problem-to-3-SAT

In polynomial computational complexity, convert k-SAT to 3-SAT, whatever k is greater than or less than 3

About

In polynomial computational complexity, convert k-SAT to 3-SAT, whatever k is greater than or less than 3

Report repository

Releases

No releases published

Packages

No packages published

Languages

Jupyter Notebook 100.0%