Found a June article via "Medium" titled The Boolean Satisfiability Problem, solved? by
Juan Manuel Dato (Ruiz?) and trying to work through it to...
Confirm what would be... Ramanujanesque...

Anyone know of any pros or cons??
Anyone know how to...
Contact Dato?!

"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."

It is badly explained, and is certainly not a proof.
It ends with:

Considering that it is able to find a solution in most indices, as it usually works with a high probability (80%) then you can always try another index to find the desired solution.
Based in this result I considered my demonstration that SAT is solvable in a polynomial time and space.

Basically he can solve easy cases (presumably - the whole text really goes through one particular small case which may or may not be representative of all small cases) and claims that this proves it for all cases, which is nonsense. He has not shown that his method is polynomial. He has not quantified the probability in the text I quoted. He has not shown how this probability changes as the problems grow larger.

What would I do without jaap's astute "Reply"s? And Thanks for posting the link; the least I could/should have done...

I think English is a second language for Dato and, mistranslations aside, I am still interested in trying to
code his algorithm: a) to see if I even understand it and b) to see if it can solve
even the simplest CNFs; and Yes, of course, in polynomial time?

80% or even 20% success on such a Classic Problem would probably be
more progress than ever in... ALL of TIME?

Already I'm computing Dato's Theorem One --

(not x | x and y | z1) · (x and y | y | z2) · (z1 | z2 | x <-> y) = 1 [Other readers please note: "|" is Not the usual OR]

to be ALL False vs ALL True!

If I arrive at anything more
report-worthy
I'll post it...

Thanks
Again!! jaap,
Ken

jaap...

If you've got another "minute," I am translating
Dato's (A|B|C) as ((A^B)^C) & !(A&B&C) which
works correctly for his first Proposition -- (A|B|C)·(B|D|E)·(C|E|F) = 1

Last edited by kenbrooker on Sun Jun 30, 2019 12:11 am, edited 2 times in total.

"Good Judgment comes from Experience;
Experience comes from Bad Judgment..."

Now reads -- The Boolean Satisfiability Problem vilely censured.
"Apologies: someone hacked the article to avoid sharing this technology."

I guess that "someone" is me because I privately asked the author a couple of questions which he twice answered with Truth Table-evident falsehoods. When I Commented about this to Medium.com I was promptly Blocked.
Deleting the first article and re-issuing, a clever way to bury my pre-Blocked Comment.
I guess jaap's wise skepticism is well confirmed...

I know the above hurts my credibility too but, since I brought up the Subject,
I do believe this article is credible and
with 2 good examples which
I will be studying --