Hacker GitHub

← All repos

anjlab/sat3

View on GitHub ↗ ★ 93 Java

Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem

4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2011-01-19 · latest 2011-01-20

Mentions per year 4 mentions · busiest year 2011 (4)
20082026
AllStoriesComments NewestTopOldest
  1. With what error? Can you please file an issue here: https://github.com/anjlab/sat3/issues and provide link to CNF file?
    comment by dmitrygusev · 2011-01-20 · in The polynomial algorithm for 3-SAT problem (or P=NP)
  2. …though I don't see his code posted anywhere (?). Someone else appears to have implemented it here: https://github.com/anjlab/sat3 . - The author references no prior work, just review papers on the problem itself.
    comment by cyrus_ · 2011-01-20 · in The polynomial algorithm for 3-SAT problem (or P=NP)
  3. …an independent programmer has implemented his algorithm and posted it on github with instructions ( https://github.com/anjlab/sat3 ) on how to run it on k-SAT instances. Because of this, I believe it increases the claim's reputability; it…
    comment by sonoffett · 2011-01-19 · in The polynomial algorithm for 3-SAT problem (or P=NP)
  4. …nothing about N=NP debate, but does the claim P=NP and the existence of a published algorithm ( https://github.com/anjlab/sat3 ) make this claim easier to verify than the claim P!=NP. Isn't the point that P=NP has great practical…
    comment by equark · 2011-01-19 · in The polynomial algorithm for 3-SAT problem (or P=NP)