Implementation

73 views
Skip to first unread message

Tore Kasper Frederiksen

unread,
Aug 25, 2011, 6:10:11 PM8/25/11
to Polynomial Algorithm for 3-SAT
Hello
I see it is a long time since there have been activity in this forum.
I was wondering if you are still working on the algorithm
implementation and if it has given any empirical evidence to support
your proof?

M Angela Weiss

unread,
Aug 29, 2011, 3:00:00 PM8/29/11
to Polynomial Algorithm for 3-SAT
Hi,
I am working on the algorithms. Recently, I had some new ideas of how
to use a different approach to my manuscript which I considered more
important than to finish the algorithms. It took more time for doing
it that I first anticipated (but I am done with it) and
that deviated me from my other goals. As I am not a computer scientist
(my background is Math), I delayed writing the Algorithms. No, I haven
changed my claim and found no bugs in the manuscript available at my
web page. On the contrary, my certainty is more solid now than ever
before. I totally understand that reading the manuscript is not an
easy task.

I am turning to the algorithms again and I expect to post them within
few weeks.
Take care,
angela
Reply all
Reply to author
Forward
0 new messages