GitHub topics: p-vs-np

Informational Repo covering the Satisfiability of formulas in 3 Conjunctive Normal Form. Includes Demos of solving algorithms, and detailed analysis.

Language: Python - Size: 287 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 0 - Forks: 0

This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.

Size: 20.5 KB - Last synced at: about 2 months ago - Pushed at: over 2 years ago - Stars: 5 - Forks: 1

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

Language: TeX - Size: 3.87 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 2 - Forks: 0

Notable P vs. NP proof attempts.

Size: 25.4 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 0

Datasets

Size: 2.05 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

Datasets

Size: 50.9 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

All assignments for CS 218: Design and Analysis of Algorithms, Spring 2021, IIT Bombay

Language: TeX - Size: 4.44 MB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

Labs for the Advanced Algorithms course

Language: C++ - Size: 53 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

Coursera Data Structures and Algorithms Specialization course 5 --> Advanced Algorithms and Complexity... Code is completed in python only.

Language: Python - Size: 6.32 MB - Last synced at: 3 months ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 1

Related Keywords

ecosyste.ms